Robustness in building the doc
auto_build: Minor tune-up
More finetuning of auto_build
auto_build: Add Scott to the list
auto_build: Syntax fix
auto_build: Bugfix: Wipe properly old builds
libpointmatcher: Fetch from git, but still our hacked branch