Added tex2html converter.

A program to convert a tex file to html code that can be parsed with
mathjax. Handy for blog entries.
Renamed random2 -> random.
Updated workspace.