Updated to latest PHPMD.

With this PHPMD release some minor issues in the Coverage and C.R.A.P. index
handling were fixed that also influenced the OXMD extension.
Version number bumped.