Fix consistency of geno- and phenotypes after switching to Guice

* Adjust the design of the encoding provision module to enable its lazy
  construction from genotypes when a new instance is generated by the
  Opt4J framework.
* Fix a copy bug in the instantiated task mapping encodings where the
  allocation maps were not aligned.
* Fixup the calculation of the constraint that ensures only tasks with
  the same SIL are allocated to one partition.
* Remove no longer required copy operators.
* Bug fix: Correct the references to the included Opt4J jars.

Signed-off-by: Alexander Diewald <diewald@fortiss.org>