Description of problem:
Need to document how to use insight in the user's guide. Since we (rightly)
don't actually ship an insight executable, we instead intend people wanting
insight to start gdb with -w. However we don't actually tell them anywhere that
this is what they have to do for insight!
This bug has moved to http://bugs.ecos.sourceware.org/show_bug.cgi?id=87647