ADDED: http reply gzip_file(Type, File), sent with Content-encoding: gzip
ADDED: http_reply_file/3, option static_gzip(+Boolean) to make the server
look for a not-older .gz file and send that if the server accepts gzip
encoding.
MODIFIED: serve_files_in_directory/2 now using the static_gzip(true)
when sending files.