[dev-context] texexec.patch

Hi Hans, A small patch to texexec so that texexec --version also uses the new quoting mechanism (and a minor extension in the engine recognition). Greetings, taco