19-filter-by-edge-label

Adds a functionality to filter the next exploration step by edge label. Works per step, i.e. the value of the edge_filter field may be changed between exploration steps and the change will take effect on the next step, leaving previous steps untouched.

Also makes header a CSS grid with auto rows flow as new fields being added.

scripts/graphConf.js

@@ -10,13 +10,13 @@ const SINGLE_COMMANDS_AND_NO_VARS = false;
 
 // The communication protocol with the server can be "REST" or "websocket"
 const COMMUNICATION_PROTOCOL = "REST";
-// const COMMUNICATION_PROTOCOL = "websocket";
+//const COMMUNICATION_PROTOCOL = "websocket";
 // TODO: configuration for the secure server
 
 // The communication method can be GraphSON 1.0 (used by Gremlin 3.2)
 // or GraphSON 3.0 (used by Gremlin 3.3)
 const COMMUNICATION_METHOD = "GraphSON1"
-// const COMMUNICATION_METHOD = "GraphSON3"
+//const COMMUNICATION_METHOD = "GraphSON3"
 
 // Graph configuration
 const default_nb_of_layers = 3;