minor release of all core packages using oasis 0.4.0

No change to the code, just regenerate everything using oasis 0.4.0.