use default redis-server on travis-ci