tweak of the model and new constraints

Added 2 new constraints on libNeptus.so
  - to_float that convert an int domain into a float
  - sqrt that compute the square/square root

Implemented the constraints to compute the battery profile as a
quadratic function and use this to identify how much of the battery
would be used for a given speed.

TODO: use the above to model the AUV battery resource projected profile