Support disabling documentation build via --no-build-docs.
Merge pull request #178 from mgorny/master

Support disabling documentation build in 'build' command