Switch from Box2D Vec2 to JavaFX Point2D.

In Spring and ForceField classes, we now use the
JavaFX Point2D vector (which has double precision).

Two static helpers were added to Box2DSimulation
for conversion between the two types.