Added custom random function.
Added new test suite cluster algorithm: coverage. It sorts the test cases by their coverage in descending order.
cluster-sizes input parameter must be added. It is an array of the sizes of each cluster in the percentage the total number of test cases, etc: 10, 25, ... .
Added new test suite cluster algorithm: duplation.
Moved from pthread to boost::thread.
Added Windows build support.

SoDA can now be built on Windows using MinGW.
The following changes required before the build succeeds:
- Change pthread to boost::thread library.
- Move AddressResolver to instrument server.
Removed unused header.
Removed unsued else branch in CMakeLists.txt
Merge remote-tracking branch 'origin/windows-port' into windows-port

Conflicts:
	src/cl/SoDATools/CMakeLists.txt
	src/lib/SoDAEngine/CMakeLists.txt