Show coverage statistics in terminal on 'make coverage'
Dashboard tested