update Widget to Version 3.1

* update to GraphView 3.1.1
* adapt graph layout to new GraphView
* allow http://XXX URLs as hostname
* cleanup Code
* fix problem with not closed database