Update gappa to 1.1.0.
Merge pull request #6 from mbenke/master

why3ide depends on lablgtk2 with-gtksourceview2
Merge branch 'master' of github.com:mht208/homebrew-formal