honor ./configure -mandir, by extending opam-installer accordingly