rename repository from `sts4` to `spring-tools`

[martinlippert]

Along the lines of the recent changes to remove the 4 from the project website, we should rename the repository from sts4 to spring-tools

[martinlippert]

Done