early-feedback.md

We are collecting data on the user experience of the Coq Bug Minimizer. If you haven't already filled the survey for this PR, please fill out our short survey!