Use redis-server on Travis #210