Large overall improvement to docbook build scripts.

-a, --all, --html, --pdf options allow selecting what to build
-d, --delete allow specifying to delete install dir before rebuilding
-f, --force allows repo script to ignore last-commit timestamps