Allow building to work for destinations other than /home/jerome :-)

The only necessary thing here is the change to config/Makefile to make MANDIR refer to $$HOME rather than /home/jerome. It's necessary to escape the "$" so that the shell sees "$HOME" and expands it. Ultimately, this allows the opam-android-repository and "opam install ocaml-android" to work for me.