Coverage script: fix missing data

tools/llvm_coverage_run.py

Index: tools/llvm_coverage_run.py
diff --git a/tools/llvm_coverage_run.py b/tools/llvm_coverage_run.py
index 00641ca61af1fa17f8ac01a5f4893b1de5143371..e0d0ff6f5a6cc00bc78f2844cb9f46d3b3e49d1d 100755
--- a/tools/llvm_coverage_run.py
+++ b/tools/llvm_coverage_run.py
@@ -162,6 +162,14 @@ def main():
       '--properties', metavar='key_or_value', nargs='+',
       help='key/value pairs representing properties of this build.')
   args, cmd = parser.parse_known_args()
+
+  # We still need to pass the args we stripped out to DM.
+  cmd.append('--key')
+  cmd.extend(args.key)
+  cmd.append('--properties')
+  cmd.extend(args.properties)
+
+  # Parse the key and properties for use in the nanobench JSON output.
   key = _parse_key_value(args.key)
   properties = _parse_key_value(args.properties)