Use better directories for html/ and persistence

We now install stuff in sensible locations and allow overriding the path
with options. Documentation sort of pending.
html/: Remove unused files