An attempt to add Travis CI