Robert Badinter, l'homme de justice opposé à la peine de mort