Server Toolkit for Jutge.org

This package is intended for the server side of the Jutge.org platform. It is not meant for the general public, only for the Jutge.org team.