Use a list instead of a vector for ScriptResults; it's 8 bytes instead

of 12.

nse_main.h

@@ -25,7 +25,7 @@ class ScriptResult
     std::string get_id (void) const;
 };
 
-typedef std::vector<ScriptResult> ScriptResults;
+typedef std::list<ScriptResult> ScriptResults;
 
 class Target;