Give Travis' opentheory build less to do

I hope this will stop it from exceeding Travis's cut-off limits for
long builds.