AutoCorres 1.9 (31 October 2022)

• Isabelle2021-1 edition of both AutoCorres and the C parser.
• setup for AARCH64/ARM64 targets

C-Parser 1.19

• Builds with Isabelle2021-1

• setup for AARCH64/ARM64 targets

• AST printing for top-level declarations annotated to make them easier to
  consume in external tools. Annotations take the form:

  ##<decl_type>: <name>
  

  e.g. ##Function: ctzl