Now sets the GDB serial device to the path of a DroneCode Probe by default, with option command-line option override. A few usage instructions added to the top of the file.