Bug#1079435: regexxer: please migrate from deprecated gtksourceview3 to gtksourceview4 (or 5)

[Bastian Germann]

I am uploading the changes in git as NMU to DELAYED/10.