turn on Asymmetric Patterns

so we can run with the latest coq on the trunk