Add usability info to the readme

[EmirDe]

• Clarify that proof logging requires the pumpkin-for-proofs.msc minizinc library.
• Add the quick start section to give a representative workflow of how to use the solver and its proofs.
• Discuss the solver API and its capabilities.
• (unrelated) Add funding acknowledgments like in our papers to the readme.