Seventh public release

Changes:

• Bug fix: Properly handle when no custom Docker images are defined
• Switched Docker image for nmap (instrumentisto/nmap, which contains the latest version)
• Improved documentation