Fixed justification icons not displaying after loading proof

Changed getImageName method in Justification to abstract
Implemented method in all subclasses of Justification