Add --batch option as an alternative to STDIN
#1723
+179
−33
Merged