Enrico De Nicola, storia del primo presidente della Repubblica