github-bots: add new botName field to AddComment signature so it works like SetComment. This helps fetch and identify all comments from specific bots

github-bots: add new botName field to AddComment signature so it works like SetComment. This helps fetch and identify all comments from specific bots #1237