Small note in the code.
haskintex now takes .htex files as input, and has .tex files as output. A new -overwrite flag has been implemented.