added travis-CI support