Rename beman-project GitHub org to bemanproject

[neatudarius]

Rename beman-project GitHub org to bemanproject as per https://discourse.bemanproject.org/t/warning-the-github-org-may-be-renamed-soon/260/8

• Updates
  • https://github.com/beman-project → https://github.com/bemanproject (changes applied)
    Note: https://github.com/beman-project (old link) does not work anymore, but the old URLs for repos still do! (e.g., https://github.com/beman-project/exemplar/ is redirected to https://github.com/bemanproject/exemplar/).
  • https://discourse.bemanproject.org/ → NO changes
  • https://www.bemanproject.org/ → NO changes
  • https://x.com/bemanproject → NO changes
• Propagate changes to bemanproject repos
  • beman - [beman repo] Docs updates: org renamed to bemanproject #66
  • ci - N/A
  • dump - [dump repo] Docs updates: org renamed to bemanproject dump#3
  • execution26 - [execution26 repo] Update docs: org renamed to bemanproject execution#88
  • exemplar - [exemplar repo] Update docs: org renamed to bemanproject exemplar#81
  • inplace_vector - [inplace_vector repo] Update docs: org renamed to bemanproject inplace_vector#25
  • iterator_interface - [iterator_interface repo] Update docs: org renamed to bemanproject iterator_interface#32
  • library-template - N/A. Should we delete this repo? (examplar/ is current library template repo!)
  • net29 - [net26 repo] Update docs: org renamed to bemanproject net#11
  • optional26 - [optional26 repo] Update docs: org renamed to bemanproject optional#83
  • utf_view - [utf_view repo] Update docs: org renamed to bemanproject utf_view#27
  • website - N/A. Should we delete this repo?

[neatudarius]

All know issues discovered after renaming were fixed.