New data field: Bot label on contributors

Bots are now many times applications or some form of automated feature that as a "bot" tag on them and can be seen visually. The github api hold them in the "type" field for a "user" https://api.github.com/users/welcome[bot]. It would be great to have this type distinction as a column in the contributors table to use to filter out bots (and maybe other use cases in the future from the type field.

https://stackoverflow.com/questions/52731464/can-we-use-github-api-to-determine-if-a-github-user-is-a-bot#:~:text=1%20Answer&text=When%20querying%20https%3A%2F%2Fapi,type%20equals%20the%20string%20Bot%20

+1 I'd love for Augur to have a better way to filter out the bots!