gedit: update to 3.13.5
Merge pull request #132 from nacho/wip/gedit3.13.5

gedit: update to 3.13.5