Egypt executes nine men over killing of public prosecutor: prison source\, lawyer