Sejarah militer Gibraltar selama Perang Dunia II