Histoire militaire de l'Irlande