make pull of SVN_REVISION.txt optional so that build from github won't fail for this simple reason (JBDS-2627)

make pull of SVN_REVISION.txt optional so that build from github won't fail for this simple reason (JBDS-2627)