Travis-CI test for new-theory script, also new-theory bugfix.