+ Changed drupal_page_header(): converts the If-Modified-Since header into a
    timestamp and compares against the cache data.  Ignore If-Modified-Since
    and ETag headers if they are present but empty.

  + Few minor other code cleanups.