Also rename r1cs-ccs.sage to ccs-r1cs.sage, so both r1cs & plonk scripts are printed together in the directory.
