Fix calling AtExit methods after loading a workspace

[ChrisJefferson]

This patch just ensures we call "CLEAN_UP_PROGRAM" after restoring a workspace, mainly so the AtExit handlers are run.

While fixing this I noticed a different (small) bug, which is when restoring a workspace some handlers end up getting installed twice. The easiest fix for this (in my opinion) is to just skip the second time the handler is installed.

Fixes #2558

[ChrisJefferson]

Fixes #2558. This is unfortunately hard to test automatically, so I'd appresiate someone sanity checking it works. Basically, you should find saving history, and clean up of TemporaryDirectory, didn't work before this patch and does after this patch, if GAP is loaded with -L.

[ChrisJefferson]

Fixes #2558. This is unfortunately hard to test automatically, so I'd appresiate someone sanity checking it works. Basically, you should find saving history didn't work before this patch and does after this patch, if GAP is started from a workspace.

[codecov]

Codecov Report

Merging #2578 into master will increase coverage by <.01%.
The diff coverage is 83.33%.

@@            Coverage Diff             @@
##           master    #2578      +/-   ##
==========================================
+ Coverage    74.6%   74.61%   +<.01%     
==========================================
  Files         481      481              
  Lines      242386   242392       +6     
==========================================
+ Hits       180843   180862      +19     
+ Misses      61543    61530      -13

Impacted Files	Coverage Δ
lib/session.g	56.86% <100%> (+0.86%)	⬆️
lib/oper.g	80.56% <80%> (-0.01%)	⬇️
src/iostream.c	62.64% <0%> (-1.14%)	⬇️
hpcgap/lib/hpc/stdtasks.g	64.19% <0%> (-0.52%)	⬇️
lib/files.gd	63.54% <0%> (+1.04%)	⬆️
lib/files.gi	52.04% <0%> (+7.37%)	⬆️

[fingolfin]

This fixes a regression I introduced when merging HPC-GAP, see e322531 - thanks for that!

The first commit could also be backported to GAP 4.9, As it fixes a regression compared to 4.8. (The second one could also be backported IMO)

But please add labels.

[fingolfin]

@mohamed-barakat please test if this solves your problem

[olexandr-konovalov]

I've assigned this to 4.9.2 milestone - in a hope that @mohamed-barakat may confirm it quickly. Otherwise may be delayed till 4.9.3.

[mohamed-barakat]

I am happy, thanks.