Merge branch 'master' of github.com:achlipala/FrameworkBenchmarks

frameworks/Ur/urweb/benchmark_config

@@ -2,6 +2,7 @@
   "framework": "urweb",
   "tests": [{
     "default": {
+      "display_name": "urweb",
       "setup_file": "setup",
       "json_url": "/json",
       "plaintext_url": "/plaintext",