Adding a travis file for CI testing