Mahmoud Khalil, leader des manifestations pro-palestiniennes, libéré