Fix broken manpage destination for alt-ergo

As it is, the manpage lands in

.opam/system/man/man1/man1/

:-(