add idris-quit function, fixes #10
fix read-only for proof script