update naming in documentation of extension dev container#721

jaagut merged 1 commit intomainbit-bots/bitbots_main:mainfrom

fix/naming_of_dev_containerbit-bots/bitbots_main:fix/naming_of_dev_containerCopy head branch name to clipboard