add travis badge, even though it's current failing