script to easily invoke Karma in batch mode