[CI] build docs + separate style/type tests

[kaczmarj]

Add a dedicated test for style and types, and move those tests out of the pytests. Also adds a test that make html returns a non-zero exit code.