Build PGI image live
Created by: masterleinad
Depends on #93. The first commit summarizes all the changes in #93 and should vanish as soon as we rebase. The actual changes are in the second commit where we build the PGI image live instead of reloading a prebuilt one (analogously to what we do for the other CI configurations).