Fixed HolBddLib (for mosml only)
muddy, HolBdd and HolCheck moved into examples. Mainly to simplify HOL installation requirements.