Install documents in DOCSDIR with INSTALL_DATA instead of INSTALL_MAN. Simplify executable and man page installation.