Add a Credits menu. Fixes #2864.
Update AUTHORS for display in the credits panel.
Merge pull request #3442 from pchote/credits-menu

Ingame credits menu