A simple php Varnish cache ban tool