Import 2012-2013 executioner

Some 'use' declarations rely on an older version of
this judge software -- they have not been imported
and will eventually be replaced.