Android LocationManager that delivers location predictions based on a Kalman filter.