IsoInfer for goolf-1.4.10 ictce-6.2.5 and deps

thanks @boegel for your help with this. Added you as the first author  :)