* index.php:
  - support a "filter" parameter, to filter on filenames
  - useful on a thumbnails page for an album, where you
    only want to see a subset of the pictures in the album,
    perhaps those matching a certain date
  - currently implemented as a global, which is kind of messy...