new codim 1 foliations example
Merge branch 'blackbox' of https://github.com/jakobkroeker/padicLiftM2 into blackbox