clean up justifications code
step through a raphael figure by clicking on the steps in the proof.