add travis-ci configuration
format and some small fixes