Implemented abaco2_unique_unknown hint

1] Extended infinitesimals and checkinfsol for cases where the ODE
is not explicitly in the form a*df + b
2] Implemented abaco2_unique_unknown hint which assumes presence
of unknown functions and non-integer powers,
xi = f(x), eta = g(y); xi = f(y), eta = g(x)