Use goal-skolemiser when doing induction, too

This enables to turn it off for the benefit of CVC4's induction modes.