mopidy: Add mopidy-scan service for scanning local media
Update and fix LEO2 prover