Tiny fix for builddocs script (no change)
Support for anchor links in docs (ugly hack, haskell skills needed)
Dockerfiles: remove + autoremove at once
Add a Vagrantfile to manage Docker containers