add travis badge

So that we don't break it