refs bugs 976213 and 969248: adding multi-select to file view, and stopping page reloads on #anchor clicks
refs bug 976213: refactored highlighter to respect overlay menu and long code lines
Merge branch 'master' of github.com:mozilla/dxr into bug-976213
refs bug 976213: Refactored and tidied code-highlighter.js & related css.
 * Added highlighting on $(document).ready event window.location.hash exists.
 * Refactored highlighted element detection to use a pure js method.
 * Added generator for window.location.hash corresponding to selected lines.
refs bug 9762123:
 * line-number css was fixed position, now changed to absolute to enable scrolling
 * added line highlighting to corresponding line based on panel a href links
refs bug 976213: incorporating feedback from https://github.com/mozilla/dxr/pull/254
 * swapping out window.location.hash for history.replaceState
 * consistent selection of elements with jquery instead of mixing js & jquery
 * refactored conditional highlighting removal
refs bug 976213: more https://github.com/mozilla/dxr/pull/254 clean up
 * Now with more location bar return/enter key action!
 * Removed dxr.js onpopstate check: line numbers are spans not a elements, so location.reload never gets triggered improperly in a file view
refs bug 976213: adding window.onpopstate check back to maintain Nav menu functionality
Bump format version due to markup changes.
Merge multi-line highlighting support. Fix bug 976213.