cleanup: Remove expired ports:

2022-05-17 graphics/magnum-examples: Depends on broken graphics/magnum
2022-05-17 graphics/magnum: Broken for more than a year
2022-05-17 graphics/magnum-plugins: Depends on broken graphics/magnum
2022-05-17 graphics/magnum-extras: Depends on broken graphics/magnum