removed most helpers from sh_main.js plus minified files

*.css - no longer assume all code is in a <pre>
*.min - removed (except main); prevent duplication and minification is easy
sh_main.js
    - remove konqueror fix; runs webKit now
    - removed add/get class helpers, use DOM methods
    - removed merge/extract* functions, replaced with
      element.textContent
    - removed xhr language loading
    - removed highlightDocument method
lang/php - updated list of keywords