How to Design a Program Repair Bot? Insights from the Repairnator Project | Synapse