[prove] emit prover warnings once

Loïc Corrensonrequested to merge
feature/warning-once into master

Fixes #98 (closed)

Merge request reports