cozy v1.5.4

New features and changes for cozy 1.5.4:

• Added support for memory and return annotations. With this feature cozy users can provide custom paths (sequences of strings and integers) to identify parts of memory or the return value to make apples-to-apples comparisons. This allows for comparisons to be made in situations where memory or data structure layout differ between the two binaries under analysis. The primary motivation for this feature is to enhance cozy's ability to compare C and Rust programs.
• The visualization side has been updated and now has an interface for diffing annotated values
• The documentation now has a guide on how to use annotations
• The _concretize function in the cozy.concretions model has been renamed concretize and a docstring has been added. This change has been made to indicate that this function is now supported for external use.
• The various comparison options when constructing a Comparison object are now indicated by using an enum flag. To specify the comparisons you want to make, see the options available in cozy.analysis.ComparisonOptions
• Minor updates, typos and fixes to documentation for existing functions and methods