Upgrade to Checkstyle 5.1.

Removed voting since Eclipse Plugin Central has been superseded by Eclipse Marketplace, which does not have open voting interface.

Bugfixes