- overhaul of prettty-printer:
* use CSS styles instead of hard-coded values
* get rid of FONT tag
* update tcl command list for tcl 8.5
* reactivate links to tcl-commands (of matching version) in pretty
printed procs
- move configuration variables for external documentation servers to
apidoc namespace (reduce redundancy of information)
- keep for aolserver user documentation link as they were before, just
naviserver users see the naviserver documentation