make karma-coverage optional