More tests; Travis-CI