Antora docs migration

[jvalkeal]

Spring portfolio is starting a process to move over to antora based docs. This is an issue to track work for it.

[jvalkeal]

Various commits from @rwinch were just merged and we have new docs live https://docs.spring.io/spring-shell/reference/.