Visible to the public Submit ToolConflict Detection Enabled

Web page to test submission of Dockerized verification tools.

Link to repository (for now assume git) for tool.