Updated configuration files
Merge branch 'development' of https://github.com/ISA-tools/ISAcreator into development