Merge changes I895aacaa,I1a47eb42,I5dcee7c7

* changes:
  gdbrunner: expose adb.split_lines, use it.
  gdbrunner: don't use getppid to name the log file.
  gdbrunner: close the exec script before passing it to gdb.