for folks that are downloading mujoco via python (uv or just straight up pip), it's tricky to setup this library. would be nice to the option to override the mujoco library path, which would allow pointing directly at the shared library instead of assuming it's at the $(MUJOCO_DIR)/lib