Induced subgraph fixed #55
New way to subset graph in graph.js
new dataset
Merge branch 'interface' into PDP
fixes #63
Merge branch 'PDP' into interface
title bar of dialogs:
-new names
-min width
-new backgroung for active view