[bugfix/docs] add "zip" and "tgz" extensions to href links in wims docs.
+ replace the adm/doc/primitives/href.phtml by a link to scripts/docu/primitives/href.phtml as it was exactly the same.
+ add some missing chars in htmlsymbs for html2iso conversion