add travis badge to CI
semicolon