config: renames Search-servlet config-file discovery.properties -> search.properties

data-discovery/config/Makefile

data-discovery/config/discovery.properties.in

data-discovery/src/main/java/vlkb/search/DbPSearch.java

data-discovery/src/main/java/vlkb/webapi/SearchServlet.java

data-discovery/src/main/resources/search.properties

docker/entrypoint.sh