hax proc macros

Hax-specific proc-macros for Rust programs.

This crate defines proc macros to be used in Rust programs that are extracted with hax. It provides proc macros such as requires and ensures to define pre- and post-conditions for functions.