Update the Doxygen main page

 * Update the Debian version.
 * Correct typos.
Merge branch 'debian-upgrade'