Tidying up of the documentation

- Removed pdf doc option from the makefile
- Added download section to the html documentation