functions: doc opens HTML documentation

Assumes that each project's documentation is located in a directory in
~/code/docs.
gvimrc: Configure font
emacs: add config

Mostly contains ProofGeneral configuration. Requires ProofGeneral to be
installed in .lib.