Develguide: Added Troubleshooting section in GDB.

This explains details on how to use the add-symbol-file command in gdb.