GitLab

* Allow non-sequential properties list

* Command 'debug info' choose between "script" and "scripts" configs exclusively

* Updated docs

* Added test for mixed old and new-style openocd script definition

* Update docs/platform-specification.md
Co-authored-by: Umberto Baldi <34278123+umbynos@users.noreply.github.com>

---------
Co-authored-by: Umberto Baldi <34278123+umbynos@users.noreply.github.com>