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

...y in trace editor plugin