News Google Reveals Details of Mantis, an Open-Source Framework Automating Vulnerability Discovery to Remediation