[ refactor ] Coverage.fixTarget now tells whether new patterns were introduced.
[ interaction ] split on result now also just introduces variables on the lhs.

Previously, it did not introduce trailing vars and also did nothing if
there was no record to split, but only function types.
Release script.

Author:    Guilhem Moulin <guilhem.moulin@chalmers.se>
Merge branch 'maint-2.4.2'