Update version_check.sh script to be more logically readable
version bumps
version bump; unblock <vala-0.20 as workaround
unmask needed dependency
set correct release
added 'gnome-base/gnome-desktop' because revert for https://bugzilla.gnome.org/show_bug.cgi?id=690378 (git_revert_draw_background.patch)
added 'gnome-base/gnome-panel' to get compile with gnome-3.8
unmask gnome packages
added 'gnome-desktop' package name
fixed wrong patch name
unmask gnome packages
fixed compiling issues
removed patch
added saucy packages