Doxygen: Changed label prefix for manual from "manual-page-" to "manual-"

Results in shorter URLs.