Fix: prevent duplicate exports by popping matched time in is_it_time_…#1073

RemDelaporteMathurin merged 3 commits intofestim-dev:fenicsxfestim-dev/FESTIM:fenicsxfrom

AdriaLlealS:duplicate-times-fixAdriaLlealS/FESTIM:duplicate-times-fixCopy head branch name to clipboard