Push hopefully correct travis config into the repo, add badge, fix tests bootstrap