Merge branch 'master' into master
-rw-r--r-- 35 .gitignore
-rw-r--r-- 1082 LICENSE
-rw-r--r-- 4432 changelog.md
-rw-r--r-- 1232 compile.py
-rw-r--r-- 2771 readme.md
-rw-r--r-- 1190 release_process.md
drwxr-xr-x - src
drwxr-xr-x - tests