Issue #5: initial travis setup