add SESSION_REDIS_JSON_ENCODING setting

a setting that let users configure which encoding is used for the JSON serializer