Github provides an API to map between `:emoji:` strings and unicode values at
https://api.github.com/emojis. We should use that (and cache it at bot startup?) instead of the hard-coded table in EmojiTable.java when converting Github comments to mailing list.