SONAR-5692 document sonar.search.httpPort in the developer section of sonar.properties