Add cmdliner 0.9.4.

Also fixes #1033 (by obsoleting OASIS).