gtksourceview3: update to 3.13.2
Merge pull request #88 from nacho/wip/gtksourceview

gtksourceview3: update to 3.13.2