fix killing of proof-script buffer; fix completions