Fixes #45: Update jacoco-maven-plugin to 0.6.3.201306030806

This update has incompatible changes, because the configuration for the
check goal has changed.