Add a (reversible-when-appropriate) dotcase option.

Fixes #5.