Latest news, guides and updates for theatre, festivals, music and other events in Dublin and Ireland. What’s On.