- Update to version 1.8.5:
* Speed up multivariate polynomial factorization
* fix it in some rare corner cases where it didn't previously
terminate.
- Move graphviz build dependency to doc flavor package