Resolve "Make MuJoCo optional"

Manfred Epperequested to merge
38-make-mujoco-optional into devel

Closes #38 (closed)

Edited by Manfred Eppe

Merge request reports