Remove problematic header in oasis-dist.ml.
Ignore some test logs.
Create tarballs with documentation.