Bash: new `extract` function to decompress files