actually _install_ the astgenkey man page