adopt renaming from sts4 / spring tools 4 / spring tool suite 4 -> spring tools
fix link to renamed page
restructure dev manual pages further