Fix broken manpage destination for alt-ergo

As it is, the manpage lands in

.opam/system/man/man1/man1/

:-(
Merge pull request #1648 from nobrowser/broken-alt-ergo-manpage

Fix broken manpage destination for alt-ergo