Update of the workspace files
New static documentation, installation using repository

The Makefile was enhanced to support generating static documentation,
which will also point to vignettes (e.g. a manual) that will be written
in the future.

Installation instructions were updated to describe the much easier
installation from the newly created repository.