use Redis to implement judge queue.
add access control for CompetitionController.
remove unused post-only filter.