Update submission_details.php

parseDiff does not produce any output (nor seems to be defined anywhere). Use parseRunDiff, as on the jury submission details page, instead.
Update sql/files/fefaultdata/hs/run

reset maximum stack size to someting small to prevent ghc from running out of memory
Update dj_make_ubuntu_chroot

Update to Ubuntu 14.04 LTS.
This requires sysfs to be mounted.
Update dj_make_ubuntu_chroot

fix a typo
ChangeLog
With cgroups terminating all leftover processes, this test source no longer crashes a judgedaemon.
Filter out hs/run for checkbashisms.

Ulimit -s is used there on purpose (#138).
Determine release name automatically

By default assume the chroot should mirror the version the judgehost is
installed on.
Allow users to self-register

Create a team/user for each registration. All teams created are assigned
the 'self-registered' category.
Chroot script enhancements

Add new script for installing oracle java
Add traps to umount things if the script fails
Change default process_limit to 64.

This accomodates Java's behaviour better while still providing
protection against a process spawning too many processes.
Cgroups are not experimental anymore.
Update admin manual about chroot

 - mono 'just works' in chroot
 - java isn't the only language in the world that needs a chroot
Updates to the API:

- /api/contest now also returns the freeze- and unfreezetime
- /api/submissions now does not return submissions during the freezetime when not requested by someone else than a jury member during freezetime (also fixed infreeze())
- Updated some API descriptions
Fix problem autoselect in team page