changed pingDigi to ping

We thought we were going to need another ping sensor that would be on
analog, so we set up a class for it, then found the renaming to have
been unnecessary