Bounding box for force layout. #10
Link trait nodes on proof graph. #10
Add node description on mouseover. Fixes #10