Wiring names-info to the GUI
1. Added copyright notice
2. Modified process-json-request to convert the condition to a string
Implementing the tooltip
Implementing a popup menu to show the declarations
Added a test suit to test the pvs calls automatically.