Merge branch 'feature/split-testfunction' into 'master'

Implement test function splitting

As a step towards sum factorization, this implements a splitting of test function modified arguments from the rest of the form.

While at it, I introduced a data structure `ModifiedArgument`, which uses `pytools.Record` and is much better for debugging.

See merge request !41