Dblib 10.0.1

Changes since 10.0.0:

• More fixes to the build process
• Continue to make tactics and proofs more resilient (3627905)
• Use exfalso instead of explicit elimtype False (60c18af)