RFC: redesign of the flint wrapper#2058

thofma wants to merge 2 commits intomasterNemocas/Nemo.jl:masterfrom

th/nemodr2Nemocas/Nemo.jl:th/nemodr2Copy head branch name to clipboard