gtksourceview3: update to version 3.13.3
Merge pull request #131 from nacho/wip/gsv3.13.3

gtksourceview3: update to version 3.13.3