Automated Judge core for programming contests