First try at implementing JGraphX into ISGCI.
Added first Test for JGraphTXAdapter.
Added naming preference.
Added Latex Label

added latex label at naming preference.
Added Find in Drawing
Little Fix for Find in Drawing

Now every Name of the Vertex is searchable
Extended Test Cases - One problem concerning addition of edges remains
Found Scenario where JGraphX wouldn't propagate changes to JGraphT +
added Edge Deletion Tests
Test now runs successfully.
Commit for organization purposes only
Merge branch 'testing'

Conflicts:
	teo/teo/isgci/gui/ISGCIMainFrame.java
Successfully merged testing into master.