Update paths and integrate the new JavaScript based symbol search.
Merge pull request #102 from s-ludwig/master

Update paths and integrate the new JavaScript based symbol search.