Remove core/vdmtools & tools/vdmt after migrating them to overturetool/vdmtools repo; close #354