fixed travis configuration with redis service