engine: Deduplicate characters

This avoids having twice the same candidate in the list presented to the
user.

Fixes #63