#12 Documentation files are duplicated

[Henrik Arro]

The documentation files used to be stored only as html in the docs directory, but to make the Mave site target work smoothly, I had to make a duplicate in src/site/apt/docs. I think we should make the src/site/apt/docs files the master, and generate the html documentation to use in the delivery zip file from the APT files.