move the set theory stuff into a separate directory
Reorganise hol-light into subdirectories.

Also move misc{Lib,Theory} out of bytecode/ and into the top-level
directory. Now bits of the hol-light work that shouldn't depend on
CakeML don't.