gnome-shell no longer needs the RANDMMAP exception

This was caused by SpiderMonkey, but is no longer necessary with newer
versions.