release version 3 for shell 3.14

The extensions are compatible to gnome-shell version 3.14 without
modification. Just adding the new version number to the manifest
suffices.