Марк Печерский, Гробокопатель: житие, иконы, день памяти