Added scripts to generate json which will be used during searching

Added a python script which takes a text file as input and generates a
mapping of term to element id (and navigation tabs)
Minor UI changes to include a search box, and necessary event handlers
Implemented Search functionality