Update testing

This refactors the Lemma Verifications to use a single Lemma instance.
This adds a Travis CI configuration.