Update tests and Travis CI configuration