Remove the Banshee script's formatting.py as it is now obsolete