Comment out Flippery code

In GNOME 3.6 and above it's possible to turn off dynamic workspaces
using GNOME Tweak Tool or the right-click menu of the Frippery Bottom
Panel extension. Hence this extension has been dropped.