Update dependencies: replace DoubleFloat by Quadmath
The DoubleFloat package is actually unused in the current version: the Float128 type comes actually for Quadmath, one of DoubleFloat's dependencies.
I removed DoubleFloat, but we could also replace Float128 by DoubleFloat64 which actually comes from DoubleFloat.