Issue #86: add travis-ci