Add sorting of options by displayName.
Enlist interruptible Regexp match in Thread#kill/raise. Fixes #792