Regent: How to generate debug symbols for GDB

In order to get useful information when debugging Regent programs in GDB do the following:

1. Build Regent with --debug
2. Run Regent with the flag -mg, note it must appear before the filename, ex. ./regent.py -mg <filename> <flags>

In order to run in gdb directly do the following: LAUNCHER="gdb --args" regent.py -mg <filename> <flags>

This will allow you to set breakpoints in regent tasks and step line by line.