Explainer: How do we elect a president – and what happens if I vote for Jim Gavin?  The Irish Independent