add a different exit code on unproved

This is a simple fix for #309 (closed). On unproved goals, we just exit with 2 instead of one.