The Irish Times changes format: it will remain a broadsheet, but narrower than before