Set executable bit on build.sh, and update documentation.