Chapar 8.10.0 maintenance release

Maintenance release with Coq 8.9 and 8.10 compatibility, featuring the following changes:

Removed

• Unused library lemmas and functions originally from a formalization of separation logic that were vendored

Fixed

• Hint and declaration deprecation warnings
• Switch from deprecated omega tactic to lia

Changed

• Use LF newlines everywhere, in place of CRLF