Add missing cleanup to idris-quit.
Detect loading while proof active

Then prompt to abandon it.