jutge-util (pypi): Common utilities for Jutge.org's scripts
Keywords: jutge|jutge.org|util