the new code has been generated from Isabelle 2019 + AFP 2019

the features-code has a parameter-record which lists all the
configurable options, like using dynamic selection of integer implementation,
number of graeffe transformations, etc.

in the Code_New_No_... the Code_New_Features implementation was copied, 
and manually one parameter was changed
