Re-instate SHIFT as a valid keystroke.

Change-Id: Ib0da1aa56035919ed755d78e6aa38bf314c6d549
diff --git a/web/gui/src/main/webapp/app/fw/util/keys.js b/web/gui/src/main/webapp/app/fw/util/keys.js
index 4c0b5df..5f146c4 100644
--- a/web/gui/src/main/webapp/app/fw/util/keys.js
+++ b/web/gui/src/main/webapp/app/fw/util/keys.js
@@ -40,7 +40,7 @@
         lookup;
 
     function matchSeq(key) {
-        if (!matching && key === 'shift') {
+        if (!matching && key === 'shift-shift') {
             matching = true;
             return true;
         }
@@ -65,6 +65,7 @@
             case 8: return 'delete';
             case 9: return 'tab';
             case 13: return 'enter';
+            case 16: return 'shift';
             case 27: return 'esc';
             case 32: return 'space';
             case 37: return 'leftArrow';