Complete rewrite of Jux; standalone core.py is here!

Everything has changed, for better, hopefully! Best part: core.py is
now a standalone script that takes subid, problem, code, and language
as input and judges the code. The output will be both human and daem-
on readable.