Correct installation of pg_rman.1 to $PGINSTALL/share/man/man1

This is to avoid to have to define several paths for MANPATH for a user
or a distribution.