gtksourceview3: update to 3.13.2