make dev-manual.html with hevea

Added a recipe in the Makefile that calls hevea to produce the dev-manual in the html format.
Added a .css style for this html format.