Implemented filesystem cache, one and only (see #1415)

I think the `timestamp` is useless here. The origin file should *always* be fresher than the cache