'Rename' HttpHeaders.getIfNotModifiedSince()

Effectively rename HttpHeaders.getIfNotModifiedSince() to
getIfModifiedSince() by adding a new method and deprecating the
old one.

Issue: SPR-10600
Polish @RequestMapping Javadoc

Issue: SPR-10587
Polish spring-websocket code

Minor polish to formatting and assertion messages.