Create tracetodot
Rename tracetodot to tracetodot.py
Update CMakeLists.txt
Update tracetodot.py
Update tracetodot.py
Update tracetodot.py
Update tracetools.py
Update tracetodot.py
Update tracetodot.py
Update tracetodot.py
Update tracetodot.py
Update tracetodot.py
Update Controller.java
Update InstrumentController.java
Update TraceController.java
Update tracetools.py
Merge pull request #43 from DependableSystemsLab/GUI_Index

Gui index
Update Controller.java
Update Controller.java
Update Controller.java