An extension providing a wrapper for the flint library (flintlib.org) in polymake (polymake.org)