Fixes and Improvements
- Replace command line argument
--source
with--dataset
and--task
withenv_config
- Added flag termination_on_success for meas_fun (@ducha-aiki)
- Handle maps from mp3d scenes with multiple levels (@ZhuFengdaaa #125)
- Fixes
visualize_traces.js
for mp3d scenes (#129)