Update build.sh

We now add a build number if it is not there (like when we are not on Jenkins).  Also test for the presence of pandoc, and report when we cannot do a conversion using pandoc to a special format.