Por si a alguien más le pasa como me ha pasado a mí, digo cómo hacerlo desde cloud9 para que funcione.
En la página http://redis.io/download nos dan las siguientes instrucciones para instalarlo (sin tener que descargar y descomprimir el paquete antes de hacer estos comandos, los 2 primeros ya hacen eso aquí):
wget http://download.redis.io/releases/redis-3.2.1.tar.gz
tar xzf redis-3.2.1.tar.gz
cd redis-3.2.1
make
Pero si hacemos eso da errores la instalación, y cambiando "make" por "make install" también da un error de que no puede crear un archivo que ya existe, entonces escribiendo en su lugar "sudo make install" ya lo instala perfectamente sin problemas.
Al hacer "make test" aún da algún error pero igualmente si ejecutamos "redis server" (estando dentro de la carpeta de redis-3.2.1) funciona.