Release scilla_v0.10.1
This is a bugfix release with performance improvements and misc addons.
- Address types that compare equal must be structurally equal (#985)
- Fixed stack overflow issue (#986)
- opam: add missing Conversions lib to installation list (#987)
- Add a tool to convert Zil API state JSON to Scilla format (#988)
- Split in_channel and out_channel in binary_rpc. (#992)