Enforce order of Javadoc tags for records

Thanks to a comment from @kashike (https://github.com/spring-projects/spring-framework/commit/bb17ad8314b81850a939fd265fb53b3361705e85#r145406526), I noticed that our Checkstyle configuration does not enforce the order of Javadoc tags for `record` types.

We should therefore add `RECORD_DEF` to the Checkstyle configuration for the `AtclauseOrderCheck`.