Times journalists mark closure of Ireland edition with 'mixture of pride and sadness' as 20 jobs lost