Update 5 files

- /docs.it4i/cs/specifications.md
- /docs.it4i/cs/introduction.md
- /docs.it4i/cs/guides/xilinx.md
- /docs.it4i/cs/guides/horizon.md
- /mkdocs.yml