Add an helper bot to assist with repo operations

[bfabio]

The bot should

• Greet newcomers and link to relevant information
• Comment on proposal PRs and make clear what state they are in
• Encode the procedures as much as possible
• Keep track of voting