Add configure check to see whether to install manual pages

This also reworks the manual page generation check in the configure
script and avoids build errors if no tool for generating manual pages is
present when working on a Git checkout.