Add preferences to configure PMD annotations

This change adds preferences to configure style and colour of PMD
annotations in text editors. The "General > Editors > Text Editors >
Annotations" preference page lists the "PMD Violations" annotation
and allows setting its preference values.