script for running the release build process
include `git submodule sync` in jenkins-build

Jenkins seems to break out when the URL for the submodule changes.  So to
help it along, run `git submodule sync` as part of the build process.