Do not duplicate Docker container output.

Since Docker containers are known by more than one name we were
returning them once for every name they're known by. This change makes
the returned containers unique.