Allowing proof view to be detached in CoqIDE.