Szent István, az első vértanú ünnepe