Cosmetic change: default names for all vulnerabilities (Issue #47)
Better error messages for users
Fixed bug #108: "Console UI configMenu bug when parameters depend on each other"
Finished #47 for console ui.