Source is now displayed when a submission is run manually. This commit also contains the foundation for most of the other judge gui related stuff.