Install documentation

“make install” installs the HTML version of the documentation now