Delete now superfluous install_marionette_extension.sh