some Coq tactics I've found useful