Update to release 2013.11

I'm running into some issues with gdb.
Updating to the latest Mentor Graphics release and adding debugging symbols to the build of gdb.