Merge pull request #38 from jensopetersen/master

fixes to broad search and match highlighting
ngram search: automatic translation of input strings from devanagari to romanized form and back.
If no xml:id is present, use document-name + node-id for navigation
Navigation: when selecting next div for display, skip divs containing just another div