Implementation of the CMS-TOP-18-003 analysis in the MadAnalysis 5 framework (four top quarks with at least two leptons; 137 fb−1)