add CI (travis-ci support)