Add doc-building to CI script