Жития Святых, 7 ноября - Мартирий, диакон Печерский, преподобный (XIII-XIV)