Implement k-recursive sequences with inhomogeneities as described in Corollary D of the paper "Asymptotic Analysis of q-Recursive Sequences".

See also meta ticket #21202.

Depends on #21319
Depends on #21325
Depends on #31787

CC: @cheuberg @dkrenn

Component: combinatorics

Author: Gabriel F. Lipnik

Branch/Commit: e2d8f1d

Reviewer: Clemens Heuberger

Issue created by migration from https://trac.sagemath.org/ticket/32921