Issue #5: add travis support