In shell, modified to not print informational messages during startup while in "batch mode".

Ticket [2cb66577f6].

FossilOrigin-Name: e3898e25cf0ea870612eeaca6af2396f0eab0e07

src/shell.c

@@ -3356,6 +3356,13 @@ int main(int argc, char **argv){
     }else if( strcmp(argv[i],"-init")==0 ){
       i++;
       zInitFile = argv[i];
+    /* Need to check for batch mode here to so we can avoid printing
+    ** informational messages (like from process_sqliterc) before 
+    ** we do the actual processing of arguments later in a second pass.
+    */
+    }else if( strcmp(argv[i],"-batch")==0 ){
+      i++;
+      stdin_is_interactive = 0;
     }
   }
   if( i<argc ){