Fix for datbase name being ignored with the -batch option in the CLI. Ticket [aeff892c57].

FossilOrigin-Name: 8097c64acfc74c913bc6d7d631bc1423c90df93f

src/shell.c

@@ -3372,7 +3372,6 @@ int main(int argc, char **argv){
     ** we do the actual processing of arguments later in a second pass.
     */
     }else if( strcmp(argv[i],"-batch")==0 ){
-      i++;
       stdin_is_interactive = 0;
     }
   }