doc: update AUTHORS list
Update AUTHORS list using tools/update-authors.sh
This is a big 'un! We need some input from some individuals this pulls in wrt their details:
- @john-yan you have two email addresses in your commits, I've consolidated under your ca.ibm.com address, is that OK?
- @MJefferson you are listed as just "Martial", most of us have full names in here but that's not mandatory, what would you prefer?
- @calebboyd, @fansworld-claudio, @Martii and @zirak you are listed as "calebboyd", "fansworld-claudio", "Martii" and "Zirak" respectively, most of us have actual names in here but that's not mandatory, can you tell us how you should be listed?
- @phijohns you are using two email addresses in your commits, I've consolidated under your gmail.com, is that OK?
- @hellopao you are listed as "qinjia", most of us have actual names in here but that's not mandatory, can you tell us how you should be listed?
- @evanlucas your name comes under 3 separate email addresses now, see .mailmap, can you tell me (a) are all 3 you? and (b) which one should be listed?
- @jonathanp you are listed as "jpersson", most of us have actual names in here but that's not mandatory, can you tell us how you should be listed?
- @henninger you are listed as just "Dave", most of us have full names in here but that's not mandatory, what would you prefer?
- @SPGB you are listed with a noreply GitHub email address, most of us have a real address but it's not mandatory, can you tell us what you'd prefer here?
- @baslr you are listed as "Manuel B", most of us have full names but it's not mandatory, can you let us know what you'd prefer? You are also listed with a noreply GitHub email address, most of us have a real address but it's not mandatory, can you tell us what you'd prefer here?