remove lcsymtacs (github issue #666)

The lcsymtacs structure is regarded superseded as it plainly is
a shorthand for opening the following modules:
Abbrev HolKernel boolLib Tactic Tactical BasicProvers simpLib
Rewrite bossLib Thm_cont

Remove Unicode under src/

make OpenTheoryBoolScript.sml more template-like

pull the parameters up to two declarations at the top, the rest is
boilerplate.

add satTheory's theorems to hol-compatibility

by auto-recording the proofs. This worked very nicely since satTheory
only depends on boolTheory and doesn't make any definitions.

This brings the unsatisfied assumptions for the llist package down to
112 (versus 127 satisfied), and none of the unsatisfied appear to be
purely about boolean constants. (I added one more thing to HOL4bool to
make this true.)

separate out HOL4bool compatibility layer

will allow its use in the compatibility layers for other theories