Move only primitive bool stuff into new src/bool.

Expectation is that *Map stuff will also leave this directory eventually.

Move all of boolTheory's tokens into TexTokenMap, and use this in EmitTeX.

Still need to capture other theories' tokens similarly.

Start on new facility to define TeX information for HOL tokens in theory files.

Ultimately, this will replace the big function (called "string_map")
in TeX/EmitTeX.sml. I have started to annotate boolScript but the
information stored there is not yet used.