Fixed Pingtool and Mininet and Ping live