Create gh-pages branch via GitHub
Merge branch 'tachyos_cmsis' into tachyos_cmsis_ix
- delete unused branch