Change Proof View window to be movable and able to change size

[eddiekrystowski]

This will either combine with or work alongside a visualization of the proof hypergraph