tools/asmrefine: update to Isabelle2020 Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
licenses: convert license tags to SPDX
Isabelle2018: Lib update