Require highlighting-kate >= 0.5.8.3.

This change to highlighting-kate means that PHP fragments no longer
need to start with `<?php`.  Closes #1271.