remove "with" in detail title (#521)

Author: Craig Cornelius

verifier/detail_template.html

@@ -21,7 +21,7 @@
         <!--Load the AJAX API for visualizing stacked bars-->
     <script type="text/javascript" src="https://www.gstatic.com/charts/loader.js"></script>
 
-<title>$test_type with $library_name</title>
+<title>$test_type $library_name</title>
   <style>
     body {   font-family: Sans-Serif; }