Times Ireland to make most editorial staff redundant: Irish print edition of UK newspaper to cease publication with small number to continue working on digital product