* code2html: use pygmentize
* misc/conv2utf8.py: script to convert source to utf8
* .gitignore: ignore auto generated html files.
* .cvsignore: remove old .cvsignore