Code Cleanup

- Removed the rand/random/srand/srandom calls that are no longer used.

src/shell/main.cpp

@@ -45,22 +45,9 @@
 
 Context context;
 
-#ifdef HAVE_SRANDOM
-#define srand(x) srandom(x)
-#endif
-
 ////////////////////////////////////////////////////////////////////////////////
 int main (int argc, const char** argv)
 {
-  // Set up randomness.
-#ifdef CYGWIN
-  srand (time (NULL));
-#else
-  struct timeval tv;
-  gettimeofday (&tv, NULL);
-  srand (tv.tv_usec);
-#endif
-
   bool read_from_file = false;
 
   if (argc > 2)