Move travis to develop branch

Travis CI seems to be stable, PR to move it into the develop branch.