Add batch file for simple invocation from command prompt.