launcher.py: check whether 7z is actually available

[nemobis]

launcher.py should provide a more helpful message if the 7z command cannot be executed. On some distributions it's still available as 7za instead, so the user may have installed it but still need to alias it to 7z.