Differentiate re-running all pickmes and all conflicting pickmes for push
Add button and servlet to re-check push for conflicts
Merge pull request #92 from rschlaikjer/add-rerun-detection-button

Add rerun detection button

Allow pushmasters to manually trigger merge-detection. Useful when a previous push has certed.