Update tools

Now let's try to build documentation as a CI test.