OphyTe

Hi, @kdvolder had fixed the issue with the outline view in files with anchors and references (cf https://github.com/spring-projects/sts4/issues/483). But this one is to add a functionality to navigate easily to...