A simple PHP class for caching