Add a travis ci configuration