Collection of tactics I've found useful in Coq