v3.1.0

-New tree partitioning algorithm
-Nexus format input support
-Thread mode argument for switching between deterministic and non-deterministic
-SPR steps parallel implementation
-Selected implementation info in the log
-Vector extensions have a different default value depending on the precision (-double-precision).