Update documentation
adding bbb xenomai post edits
Merge branch 'gh-pages'