Renaming Classes

Renamed some window classes for consistency.
Merge branch 'master' of https://github.com/sagaciousmatter/JGEX_SagaciousMatterFork

Conflicts:
	bin/gprover/gib.class
	bin/maths/PolyBasic.class
	bin/wprover/ActionButton.class
	bin/wprover/DActionButton.class
	bin/wprover/DialogTextValueEditor.class
	bin/wprover/DrawPanel.class
	bin/wprover/DrawPanelExtended.class
	bin/wprover/DrawPanelFrame$1.class
	bin/wprover/DrawPanelFrame$6.class
	bin/wprover/DrawPanelFrame$7.class
	bin/wprover/DrawPanelFrame$8.class
	bin/wprover/DrawPanelFrame$9.class
	bin/wprover/DrawPanelFrame$Group.class
	bin/wprover/DrawPanelFrame$JPopButtonsPanel.class
	bin/wprover/DrawPanelFrame$KeyProcessor.class
	bin/wprover/DrawPanelFrame$OPoolabel.class
	bin/wprover/DrawPanelFrame.class
	bin/wprover/FlashArea.class
	bin/wprover/FlashLine.class
	bin/wprover/FlashTriangle.class
	bin/wprover/GETMark.class
	bin/wprover/GraphicEntity.class
	bin/wprover/MathHelper.class
	bin/wprover/RuleList.class
	bin/wprover/TStateButton.class
	bin/wprover/constraint.class
	bin/wprover/drawData.class