WebStyle: workaround IE bug with cache and HTTPS
- According to http://support.microsoft.com/kb/323308 Internet Explorer 5 to 8 suffer from a bug concerning handling the no-cache, no-store HTTP headers over HTTPS. This was already partially handled in Invenio, but this patch is implementing a more complete workaround.