Update devtools-reps to 0.19.1 (#5169)

Author: nchevobbe

package.json

@@ -75,7 +75,7 @@
     "devtools-launchpad": "^0.0.113",
     "devtools-linters": "^0.0.4",
     "devtools-map-bindings": "^0.3.2",
-    "devtools-reps": "^0.19.0",
+    "devtools-reps": "^0.19.1",
     "devtools-source-map": "^0.14.7",
     "devtools-splitter": "^0.0.6",
     "devtools-utils": "^0.0.10",