Fixed the problem where the same sequence of random maps was generated.

The random number generator was not seeded.

src/editor/editor_main.cpp

@@ -23,6 +23,7 @@
 #include "../cursor.hpp"
 
 #include <cctype>
+#include <cstdlib>
 #include <iostream>
 #include <map>
 #include <string>
@@ -128,6 +129,7 @@ int main(int argc, char** argv)
 			mapdata = mapdata + "gggggggggggggggggggg\n";
 		}
 	}
+	std::srand(std::time(NULL));
 	bool done = false;
 	gamestatus status(cfg, 0);
 	std::vector<team> teams;