Refactor GUI

* New "View" menu to control visibility of vertices and edges
* Dockable widgets for graph builder, edge weights, and labels