Make MuJoCo optional
Some users might not want to use MuJoCo. Make it optional to have MuJoCo installed.
Die monatliche Gitlab Wartung wurde auf Freitag den 6.12.2024 von 16:00 Uhr bis 17:00 Uhr verschoben, daher ist diese GitLab-Instanz in der Zeit nicht erreichbar sein.
Some users might not want to use MuJoCo. Make it optional to have MuJoCo installed.