v0.4.1

WhyR (version 0.4.1)

Changes:

• Added the option for proving goals directly to the WhyR command-line. -p turns proving on, and -P controls the prover used.
• Other minor bugfixes.