Add doc building to our CI setup
Merge branch '1.7'