Merge branch 'mic' into 'master'

docs.it4i/anselm/resources-allocation-policy.md

docs.it4i/index.md

docs.it4i/modules-anselm.md

docs.it4i/modules-salomon-phi.md

docs.it4i/modules-salomon-uv.md

docs.it4i/modules-salomon.md

docs.it4i/salomon/job-submission-and-execution.md

docs.it4i/salomon/resource-allocation-and-job-execution.md

docs.it4i/salomon/resources-allocation-policy.md

docs.it4i/software/intel/intel-xeon-phi-anselm.md

docs.it4i/software/intel/intel-xeon-phi-salomon.md

docs.it4i/software/mic/mic_environment.md

mkdocs.yml

scripts/get_cvs.sh

scripts/get_modules.sh

scripts/modules-json.py

scripts/modules-matrix.py

todelete