switch build system to oasis
use `oasis setup` for releases
update README
+ -no-header option
add regression test for issue #7