Travis-CI test for new-theory script, also related bugfixes.