add redis to prague-server environment