Add doc building to our CI setup