Cleanup
Merge branch 'ocean_don_corleone' of https://github.com/OceanVision/ocean into ocean_don_corleone
Merge branch 'ocean_don_corleone' into dev

Conflicts:
	don_corleone/run_bg_job.sh
Merge branch 'dev' of https://github.com/OceanVision/ocean into dev
Exemplary data script

ocean_small_exemplary_data.py script has been updated.
Merge branch 'dev' into coral