eclipse plugin to support side-by-side proofs and code