mantis: automates the workflow of discovery, reconnaissance, and vulnerability scanning