2.0 pre 4

• Paging of search results.
• Support opening classes in tree in new tabs in IE and Firefox.
• Include upgraded version of prettifier, fixing formatting in IE.
• New --head-html and --body-html command line options.
• New --local-storage-db command line option.
• Avoid creating case-insensitively same source file names,
  preventing duplicate file conflicts in Windows.
• Include missing ExtJS image files.
• Don't exclude static members from singleton classes, simply print
  warning about using @static in singleton class.