Replaces own (broken) implementation of the Vincenty algorithm by Karney 2013, which is faster and seems to work.