Adaptations of mocha reporters for mike:mocha