Sulpicius Severus, Life of Martin