Changes in version 0.9.0 (2019-03-15)
+ Faster Dune version (from O(nlog(n)) to O(n))