[Pharo-dev] Coverage testing options