Update documentation - Added short-circuiting to the compilation sequence in the README, so that later commands in the sequence are not attempted if a previous one fails with an exit code other than 0. - Also marked the related code block as a shell script, so that it would be highlighted when the README is viewed with a suitable reader.