add travis-ci badge #18