Fix tests; introduce Travis CI