add travis badge and format