Support .7z files

There is no tools::p7zip yet.
Therefore installation of p7zip is needed to the system.

For example.
sudo apt-get install p7zip-full