Update Github bindings.

Those have fixed gzip support and use the newer watcher API.
Update to MINT SDK and workaround their gradle repo failing.
Fix commit tab title.
Allow editing commit comments.
Invalidate image getter on reload.

Otherwise it'll return the old cached content even though we loaded new
content.
Tweak a few layouts.

Make padding consistent, and get rid of deprecated fill_parent
attribute.