KRAI 2016 / Mbed 2 deprecated PIDsensorPING

Dependencies:   Ping Servo mbed