Add a Credits menu. Fixes #2864.
Update AUTHORS for display in the credits panel.