html is now generated additionally
removed old docket
generated new installable docket
generated html output
added automatic source code installation