formatting and add Travis CI badge