minor release of all core packages using oasis 0.4.0
cleanup spurious files
include the -thread oasis fix + various fixes
Merge pull request #1447 from janestreet/master

minor release of all core packages using oasis 0.4.0