Gibraltar (United Kingdom): Variants of the flag