Add --batch option as an alternative to STDIN
#1723
+177
−31
--batch option as an alternative to STDIN
#1723