Added first version of graf2html.py.