Added machine name output to dwarf_runner.py, with optional argument to specify the machine name