add update_gitlab_badges.sh

Meisam Farzalipour Tabrizrequested to merge
new_badge into master
  • change --with-bookkeeping to --with-badge
  • deduce badge name from badge info file name

Merge request reports