FeedAPI: purge and refresh all feeds

It often happens that I've added and configured a load of feeds, only to discover afterwards that I should have done something differently from the start, so I need to purge and refresh all the feeds I've already created. Rather than sitting in front of admin/content/feed and clicking for hours on all the remove and refresh links, I wrote a simple script to do this for me.