Sejarah militer Gibraltar pada Perang Dunia II