A redis module for virgilio