remove support for claspD in caspo control and adds gringo, clingo and hclasp options to caspo test