Pass extra options to prove on the command line.

When invoking the build process with -Dprove.args=-v we'll be able to see all the log messages spit during our tests.

I haven't found any easy way to pass multiple options, or to have conditional properties (other than adding yet another profile to our messy POMs).