Remove the crate `hax-frontend-exporter-options`

[W95Psp]

This requires #145: this crate is very small and could be inlined in another one, but currently the exporter needs those types definitions.