Updated docs for trace editor and new trace file format

objectiser committed Jul 4, 2014

Renamed Eclipse guide to be the User guide containing info for Eclipse and Command line

objectiser committed Apr 3, 2014