Make use of the cache header

[slopjong]

If I'm not wrong there's no cache header used. Set the header in index.php, maybe also add an option to the configuration file to disable the cache so that during the development one's always working with the non-cached files.