Renumber justifications when adding or deleting lines

[rzach]

The justifications in the rest of the proof remain the same when you add or delete a line. Would be nice if they were automatically renumbered.