Make build.py an executable
Fix some output of the build system
Improve README.md
Merge branch 'polish'