Add some modified files from the Coq stdlib