Allow gdb port to specified explicitly
Merge pull request #55 from cgjones/custom-dbgport

Allow gdb port to specified explicitly