Merge branch 'master' into release
-rw-r--r-- 242 .gitignore
-rw-r--r-- 274 .travis.yml
-rw-r--r-- 11358 COPYING
-rw-r--r-- 6074 HACKING.md
-rw-r--r-- 628 README
-rw-r--r-- 432 RELEASING
-rwxr-xr-x 4478 bootstrap.py
-rwxr-xr-x 14788 configure.py
drwxr-xr-x - doc
drwxr-xr-x - misc
-rw-r--r-- 2126 platform_helper.py
drwxr-xr-x - src