fix coq-lint check for Instance, and add missing Instance attributes

coq-lint.sh

theories/array_based_queuing_lock/abql.v

theories/barrier/proof.v

theories/cl_logic/clprop.v

theories/lecture_notes/coq_intro_example_2.v

theories/logatom/elimination_stack/hocap_spec.v

theories/logatom/herlihy_wing_queue/hwq.v

theories/logatom/treiber2.v

theories/logrel/persistent_pred.v