I also removed atomic_incr.v because it is now in Iris, generalized to work on an arbitrary logically atomic heap.
This relies on https://gitlab.mpi-sws.org/FP/iris-coq/merge_requests/163 being merged.