Trying out the Travis CI system