Update checkstyle plugin to 2.12

This is a successor to PR #1538, see previous discussion in it. checkstyle plugin version 2.12 now uses checkstyle 5.7.