Redis plugin for the Play framework