make everything pass with coq-lint

Makefile.coq.local

coq-lint.sh

theories/cl_logic/clprop.v

theories/concurrent_stacks/specs.v

theories/hocap/abstract_bag.v

theories/hocap/concurrent_runners.v

theories/hocap/parfib.v

theories/logatom/conditional_increment/spec.v

theories/logatom/elimination_stack/hocap_spec.v

theories/logatom/elimination_stack/spec.v

theories/logatom/herlihy_wing_queue/spec.v

theories/logatom/rdcss/spec.v

theories/logatom/snapshot/spec.v

theories/logrel/F_mu_ref_conc/binary/examples/counter.v

...ies/logrel/F_mu_ref_conc/binary/examples/stack/FG_stack.v

...s/logrel/F_mu_ref_conc/binary/examples/stack/refinement.v

theories/logrel/F_mu_ref_conc/binary/rules.v

theories/logrel/persistent_pred.v

theories/proph/clairvoyant_coin_spec.v

theories/proph/eager_coin_spec.v