doc: replace /home/$user/foo => ~/foo

Modify Makefile and sphinx to perform substitution. Required because
sphinx loads python modules during doc generation time and we get things
like os.path.expanduser().

See comments in doc/_ext/sphinx.py:generate() for much more.