Python script used to enable gnome extensions at startup