Refs #11 BatchExecutor no more offers a main method, nut a launch method
instead, so that actual batch implementations may define their own
executable class.