Remove TABs from examples
use multiDefine to handle vacuous mutrec
muddy, HolBdd and HolCheck moved into examples. Mainly to simplify HOL installation requirements.