Updated TreeTent's rules to use getImageName() for
Justification.loadImage()'s use, which helps with both creating a JAR
and avoiding the ImageIcon serialization problem (via loading the images
when needed, rather than storing copies in the proofs).