Support disabling documentation build in 'build' command

This adds a `--no-build-docs` to the `build` command which uses the predicate to disable building docs. I think it's the most straightforward way of doing it.