September 2020

Merge branch 'ReadmeFixes' into 'master'

Readme fixes

See merge request model-checking/tools/bastet-framework!79