Proposed 0.3.1 release

Hi Hannes,

I think it's time for another release in the 0.3 series: this one will add support for Coq projects, an automatic Coq builder, performance enhancements for Java 7, and bug fixes for Windows.

Once you've accepted this request, I'll push the corresponding changes to the update site.

Cheers
Alec