Add high level specification for Condorcet module
First attempt at architecture and design of Condorcet module
Update high-level requirements of Condorcet module

* Improve description of valid input file.

* In case the input file is invalid, the module should output the
  faulting line number on standard output.