Add a simple travis CI config