Issue #5: initial travis config