Cherrypick to dev-ARC6 of: Merge branch 'boincupdates' into 'master'
updates to boinc submit script
See merge request !38 (merged)
(cherry picked from commit a22bd022)
44cdaa27 updates to boinc submit script 3c1c203f only set batchid if taskid is found