Build theories verbosely

Travis CI should not think that the build is stalled