Add Xamarin GTK theme to Mac profiles
[gtk] Overlay scrollbar patches
[gtk] Updated overlay scrollbars patches
Merge branch 'master' into ui-refresh

Conflicts:
	packages/gtk+.py
Merge branch 'master' into ui-refresh
Use glibtool.
Revert "Use glibtool." because the proper fix landed in xamarin-gtk-theme.

This reverts commit 2226659e1ca8ed8c5907b822965732f225413405.
Fix typo
[mono-2-10] Remember to specific the git branch
Allow git_branch to be specified in the Package constructor.
Properly hookup the git_branch argument with the git_branch field.
Remember to switch to the specified git_branch also.
Try a different way to make sure we land on the right git_branch.
Bring in the git_branch fixes
Generate dsyms.
Fix dSYM generation.
Don't delete *.a
Don't delete the *.a files.
[mono-2-10] Fix the filtering of '*.a' files, preserving the ones that are needed by MMP.
[mono-mac-release] Bring dSYM and *.a fixes from Mono 2.10.10.