Configure JaCoCo and add badges