Add Keyhotee version number to the about box, clean up display of git revision ids.