Build docs in CI