Merge commit 'a928cca9a2dfb75b990d5f03cc65ad7096869e88' into HEAD

Change-Id: Ic70668c4d3061cb5ce534bb4d828286dee4f7e1a
tree: 2de0c37ad0c7254d3f38e422ef702f9e19ab6106
  1. devlib/
  2. doc/
  3. src/
  4. .gitignore
  5. README.rst
  6. setup.py