Gibraltar na Segunda Guerra Mundial