Include user and developer guide as part of the build, and fix dependency in trace editor plugin
Merge pull request #39 from objectiser/adddocs

Include user and developer guide as part of the build, and fix dependenc...