[prove] running prove without path argument

Without a path argument why3find prove gives

Cache 0/0
Proofs ✔ (-) (none)

A possibly better default would be doing the same as why3find prove .