established thy-ctxt strategy (1..2) for ME/mstools.sml

strategy in 2 steps:
(1) update isac to Isabelle2009-2 with minimal changes
(a) 'parse thy' left as is
'str2t' --> 'str2term_' according to (b)
'comp_dts thy' left as is, but returns term NOT cterm
(b) pretty printing '*2str' always without thy | ctxt
pretty printing '*2str_' always with ctxt
(2) make parsing dependent on context of calculation
(a) 'parse thy' --> 'parse ctxt' simplified by searchin 'thy'
(b) nothin to do

syntax: glob

*~

*.class

*.jar

.DS_Store

*.orig

syntax: regexp

^contrib

^heaps/

^browser_info/

^doc-src/.*\.aux

^doc-src/.*\.bbl

^doc-src/.*\.blg

^doc-src/.*\.dvi

^doc-src/.*\.lot

^doc-src/.*\.idx

^doc-src/.*\.ind

^doc-src/.*\.lof

^doc-src/.*\.log

^doc-src/.*\.lot

^doc-src/.*\.out

^doc-src/.*\.pdf

^doc-src/.*\.rai

^doc-src/.*\.rao

^doc-src/.*\.tex.backup

^doc-src/.*\.toc

^doc/.*

^doc-src/isac/bib*

^src/Tools/jEdit/nbproject/private/

^src/Tools/jEdit/build/

^src/Tools/jEdit/dist/

^src/Tools/jEdit/contrib/