New progress manager
- Rework of the progress manager.
- Completed test in test_progress_manager.py
- Moved make_level from the progress manager to loader.py
Warning: an old progress.json isn't compatible with this progress manager.
Edited by GENEVOIS Noe