Oil giant Shell has put its Gibraltar branch up for sale. Part of a global strategy to focus on ‘upstream’ business and emerging markets, the sell-off package includes two petrol stations