tidy up mission file XSD and improve documentation (#7594)
treef42077821cf4cabdeefa06be316e9dc0a7d10de6
-rw-r--r-- 59 .dockerignore
-rw-r--r-- 159 .gitattributes
drwxr-xr-x - .github
-rw-r--r-- 324 .gitignore
-rwxr-xr-x 2231 .travis.sh
-rwxr-xr-x 979 .travis.yml
-rw-r--r-- 1551 AUTHORS
-rw-r--r-- 2408 CMakeLists.txt
-rw-r--r-- 218 Dockerfile
-rwxr-xr-x 542 JLinkSettings.ini
-rw-r--r-- 35147 LICENSE
-rw-r--r-- 3922 README.md
-rw-r--r-- 1379 Vagrantfile
-rwxr-xr-x 729 build.sh
-rwxr-xr-x 1136 build_docs.sh
drwxr-xr-x - cmake
drwxr-xr-x - dev
drwxr-xr-x - docs
-rwxr-xr-x 568 fake_travis_build.sh
-rwxr-xr-x 264 install-toolchain.sh
drwxr-xr-x - lib
drwxr-xr-x - src