A tool to cache applications written in PHP