gdl and gtksourceview3: Upgraded to 3.7.3 and 3.7.1