style: pep8 style for python files

licenses: convert license tags to SPDX

haskell translator: more explicit file checking for parse_skl.py

This should give saner error messages to debug regression builds.

haskell translator: tune generic exception catch debugging

haskell translator: Add some exception handling to help identify issues

Removes all trailing whitespaces

Haskell translator: can keep type constructors.

A skeleton line of the form
\#INCLUDE_SETTINGS keep_constructor=asidpool
now ensures that the asidpool type constructor is actually created in
subsequent #INCLUDE_HASKELL declarations. It turns out this feature was already
available, and already used for asidpools, this change just makes it externally
adjustable.

tools: haskell-translator: use only basename in generated-file notice

This was breaking spec-check because the paths sometimes had ..'s
in them and sometimes not, depending on where the translator was run.

tools: haskell-translator: add warning to not edit generated files

arch_split: apply CoreyR's qualification patch to translator

tools: haskell-translator: use a Def class instead of a dict

tools: haskell-translator: more sets instead of dicts

tools: haskell-translator: remove unused actual_fn

tools: haskell-translator: explicitly accept only one of ONLY, NOT or BODY

tools: haskell-translator: remove unused defsincludingarch

tools: haskell-translator: remove NOTBODY handling, which is unused and seems equiv to NOT

tools: haskell-translator: emit not about type assignment warning

tools: haskell-translator: python3 compat by running python-modernize

tools: haskell-translator: autoformat python files with yapf

Import release snapshot.