minor style and license changes; added a travis.yml file