Sunday’s Euro 2016 qualifying draw may have been the first time most football fans in Ireland realised Gibraltar had an international team which actually played in qualifiers.