Extract files from the given archive into Dir. Supported
options:
remove_prefix(+Prefix)
Strip Prefix from all entries before extracting
Errors
- existence_error(directory, Dir) if Dir does
not exist or is not a directory.
- domain_error(path_prefix(Prefix), Path) if a path in the
archive does not start with Prefix
archive_extract(+ArchiveFile,
+Dir, +Options)