Replacing handle _ by handle HOL_ERR _ in TheoryLexer and TheoryReader

Clear exec flag on TheoryLexer.{sig,sml}

Use _Theory.dat for loading theory data into _Theory.sml