gedit: update to 3.13.5