Coding Guidelines reference is the Wiki

We had 2 diverging sources for coding conventions: the guidelines.php
page on mantisbt.org and the wiki coding_guidelines page.

Information in both sources have been consolidated in the wiki page, and
the web page is now obsolete.