Spec tests with Travis