lib: session structure update for LibTest + Isabelle2020 Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>