v0.9.5

• several bug fixes (real root isolation, core solving functions and change of order algorithms)
• several memory leaks and overflows fixed
• bug fixes in the C interface (export functions)
• global seed for random choices
• decreased memory usage for the computation of Groebner bases over QQ
• more functionalities and bug fixes in the file interface to maple
• Improved portability for tests
• documentation improved