Św. Marcin I, papież, męczennik