Reduce the total testing time for the properties to 20 seconds

We need to make a global budget for testing on CI server and then
define for each property how much it may use of that time. Probably in
auxiliary file, such that it can be computed from what has changed in
the repo.
Changed the way the port numbers are evaulated.
Merge branch 'test_eqc_ci' of https://github.com/tgedellquviq/otp into test_eqc_ci
Added timeouts to ssh:connect.
Merge pull request #1 from tgedellquviq/test_eqc_ci

Test eqc ci
Add coverage to build
Fidling with Emakefile
Try with single quotes in build
QuickCheck generates some boring files
Add cover_eqc for QuickCheck tests of cover

Generate random programs to test cover
Adapting eqc_ci to find the cover property
Only test the ssh lib
Merge pull request #2 from ThomasArts/test_eqc_ci

Test eqc ci