Dropped MySQL manual type configuration

Nothing but default settings is really working now:

- most formats are no longer available on MySQL formats
- for downloadable doc our links are in most cases broken and nobody
  noticed this, so I assume nobody is using this
- anyway most current installations don't have troubles with internet
  access what was main motivation for this configuration directive
Remove unused param from PMA_Util::showMySQLDocu
Remove unused params doc
Fix session path for javascript loader
Remove no longer used syntax css
Add infrastructure for doc links in SQL highlighter
Documentation for types
Add more doc links
Keep syntax colors on links
Show docs for multiword statements as well
Properly set target for MySQL doc links
Doc links only with CodeMirror enabled
Document functions
Add function docs
Remove double keys
Wrap long lines
Various coding style fixes
CS compliant transformation helper functions
Wrap long lines
Better names for URL generating functions