new codim 1 foliations example
Merge branch 'blackbox' of https://github.com/jakobkroeker/padicLiftM2 into blackbox
Merge remote-tracking branch 'remotes/origin/blackbox' into devel