Update devtutorial
fiux
Try to briefly update the development advice.
No need to explicitly talk about -debug anymore
Updating development with Coq 8.7
syntax highlighting (part 2)
remove moinmoin header
fix wiki links (no more ../)
conversion from rst to markdown via pandoc
Converted to reStructuredText via moin2rst
A quick tutorial for developing under Coq