New statistics API

Mergify now exposes a statistics API that allows to retrieve various metrics about queues:

• time to merge
• check duration
• failure by reason
• queue checks outcome