Update CI configuration: test install and test building docs.