travis: Use tools/test-build script

Testing: make sure that the Travis build ran and completed successfully, and that this included the html/pdf documentation build.