Edit documentation to say that we plan to use Helios Voting for the
secure e-voting backend.