add testacular flags to make the output suitable for CI server