added SNF, added user functions
Merge branch 'master' of https://github.com/apaffenholz/polymake_flint_wrapper