Merge pull request #11 from infirit/gnomefixes

Many fixes from gnome-common that are useful for MATE
Bump version to 1.7.2
Fix tty detection for terminal codes.