Gulp plugins: karma, update jasmine version, coverage etc