When Islamic State came, Iraqi monks had just finished hiding manuscripts