Edoc cleanup

* Incorporate recent updates to `tools.mk` since `docs` folder exists
* Make `make docs` work
* Improve HTML presentation
* Typos, etc

/cc @reiddraper