finish getting holSemanticsTheory to build again

the rest of the implementation (hol_{kernel,verification} and
ml_hol_kernel) still needs updating.
update README slightly

these files will probably need just a bit more reorganisation once this
branch is merged. modelSet and sholSemantics should be deleted.