Draft: Kali updates
This MR brings some updates to Kali Linux settings. The most outstanding is that Kali is now using it's own Docker images, rather than using debian:testing and converting it to a Kali system. To support non-Debian Docker images, there was some minor changes needed: this is commit arnaudr/pipeline@ed898f37