Remove TABs from examples
muddy, HolBdd and HolCheck moved into examples. Mainly to simplify HOL installation requirements.