Added a travis CI config