Gerberto de Aurillac, el Papa Silvestre II