Fix Travis config; failing tests not recorded as such