During CI builds, make Maven output less clutter.

Also, the build now runs 1 minute shorter (-: