gtksourceview: added gir build option.