Superconductivity at metal-antiferromagnetic insulator interfaces