— Minor Doc update
Merge branch 'dev' of https://github.com/csotiriou/gcd-proj into dev

* 'dev' of https://github.com/csotiriou/gcd-proj:
  — implemented some more tests
  — Refactored the unit tests and added more comprehensive logs for debugging
  — Fixed a bug that prevented the testing procedures from completing normally — Fixed minor multithreading bug — Added facilities in unit testing, and file loggers specific to unit testing
— Refactored lattice extractor, made an interface for it to support future types of lattice line extractors, smarter ones.