Wiring names-info to the GUI
Implementing the tooltip
Implementing a popup menu to show the declarations
Added a test suit to test the pvs calls automatically.