[libc++] [docs] Mark contract-related papers as removed from C++20.

GitOrigin-RevId: 3f0b637d6b3ef967383610051f040c2a7d40d206
1 file changed