Create CreateText.hs

This program rewrites a file named AutoCreate.hs which can be launched right after and uses Greg Horn's dynobud NLP solver to solve 1000 problems (generated by QPGenerate.hs or LPGenerate.hs which have to be in the same folder as CreateText.hs). It is better if the file AutoCreate.hs already exists and is in the same folder as CreateText.hs