Initial changes to support Travis CI instead of Tinderbox