gtksourceview3: update to version 3.13.3