integrals: Allow to set extension manually in heurisch()
integrals: Add trigrewrite() and integration example