Update Doxyfile to the format preferred by Doxygen 1.7.1 (via 'doxygen -u').
This is the version available in Debian stable, so it should be a reasonable baseline that can be expected to be present on all developer machines. Moreover, this is the version that is used by the nightly cronjob that generates the online html version. (cherry picked from commit 10dde477)
Showing with 283 additions and 62 deletions