Bump package version to 3.0.2, and at the same time write out all
extensions' version explicitly (in case gnome-shell does not release
3.0.2)