Adding magma files to use to generate S-box mapping and security metrics (with the python code)