Add reporter alias names to docs

[khg0712]

Description

• Reporter part of Mocha docs was so unkind about enable reporter name.
  • there are two enable names but current docs makes users confused.

Description of the Change

• Add enable names to docs clearly
• Unite reporter name to call a reporter type

Summary

before
The "progress" reporter implements a simple progress-bar:

after
Enable Names: Progress, progress
The Progress reporter implements a simple progress-bar:

fix #4054
fix #4134

[jsf-clabot]

All committers have signed the CLA.

[coveralls]

Coverage increased (+0.07%) to 92.881% when pulling 78b7c85 on khg0712:issue/4054 into 3bd2d28 on mochajs:master.

[outsideris]

@khg0712 Your email for git commit is not connected your GitHub account.

[khg0712]

@outsideris I changed it!

[juergba]

@khg0712 thank you for this PR. I have some small comments.

[juergba]

I guess something went wrong while resolving conflicts.
I propose:

• delete your last commits git reset ...
• to keep up with master, don't merge but rebase git rebase ...
• then apply your changes and be careful when resolving conflicts.

[khg0712]

@juergba
I want to add alias to mocha --reporters

I dig down to solve this problem. I encountered this code. showKeys function prevent showing capitalized word. how about modify reporter's showKeys logic?

[juergba]

I dig down to solve this problem.

I don't see any problem, IMO this list is perfect as it is.

[khg0712]

I don't see any problem, IMO this list is perfect as it is.

doesn't it needs to specify all alias like HTML, html?

[juergba]

No, HTML is the default reporter for Mocha browser and should not show up in this CLI listing.

[khg0712]

sry, I cited wrong example.

@juergba
I want to add alias to mocha --reporters

I meant that it seems to need to be added capitalized alias to cli options.
ex) Nyan, nyan - "nyan cat"

[juergba]

I have understood your concerns, but this listing is good as is, please leave it unchanged.

[juergba]

@khg0712 thank you