Add a simple Travis-CI config file

Right now it does nothing, but I'm considering adding automatic pushing.