[coq] change proof assertion command key bindings