big change to twelf2tex script for flexibility...
done with first pass at more flexible twelf2tex script refactoring