Fixing Travis build config: no need to install redis