Use official gulp-istanbul now that JSON reporting has been merged.
Merge branch 'housekeeping'