`sgkit.genee` improvements#1181

jdstamp wants to merge 2 commits intosgkit-dev:mainsgkit-dev/sgkit:mainfrom

jdstamp:genee-reviewjdstamp/sgkit:genee-reviewCopy head branch name to clipboard