Add a Travis-CI config file, #13