Improvements since 3.0a7:
- in .msg files, struct fields can have initializers (a constructor is generated)
- Tkenv: minor improvements
- configure script refinements