Features

- Add GenC component from Leon (#885)
- Add frontend for more bitvector types and operations (#879)

Improvements

- Inox dependency is now directly on GitHub

Bug fixes

- Fix some issues in imperative phase (#874) and type encoding (#884)