Rewrite script serveFileFromZIP.php: - Easier path handling, without regexps. - Never serve files outside DOCUMENT_ROOT. - Stream file from ZIP archive directly to client,   without storing the content in a local variable. - Do not force the browser to offer file for download. Also add documentation on how to use it.
Rewrite script serveFileFromZIP.php:
- Easier path handling, without regexps.
- Never serve files outside DOCUMENT_ROOT.
- Stream file from ZIP archive directly to client,
  without storing the content in a local variable.
- Do not force the browser to offer file for download.
Also add documentation on how to use it.

dbeyer/benchexec,martin-neuhaeusser/benchexec,dbeyer/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,dbeyer/benchexec,martin-neuhaeusser/benchexec,martin-neuhaeusser/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,IljaZakharov/benchexec,IljaZakharov/benchexec,IljaZakharov/benchexec,dbeyer/benchexec,IljaZakharov/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,martin-neuhaeusser/benchexec