new estimateStratification, codim1foliations with blackBoxIdealFromProperties
Merge branch 'blackbox' of https://github.com/jakobkroeker/padicLiftM2 into blackbox