Add performance benchmarking infrastructure#71

Davidson-Souza merged 1 commit intomit-dci:mainmit-dci/rustreexo:mainfrom

AbdelStark:performance/benchmarksAbdelStark/rustreexo:performance/benchmarksCopy head branch name to clipboard