This recreates pull request #2192
tweak 'saveWorld' feature a bit (mjcf, gui fallback if shared memory server is not available)