Moved dolphin logo sources to its own module
Switch to JaCoCo once more; this time aggregate report displays correct numbers