A tiny 'reverse proxy' PHP script with a file-based cache