make user-manual.html with hevea

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