Fix code coverage generation

  * use phpunit instead of manual-unit because manual-unit does not implement all assertions used in the tests;
  * pass --quiet to lcov and genhtml to keep the build log clean