Replace current list search for devices & platforms with Search Builder classes

The idea is to use something like this:

new PlatformSearchBuilder()
  .mustHaveText('polarstern')
  .hasOneManufacturerOf(['AWI-Werft', 'XYZ'])
  .search().then((results) => {
    // do something with the results
  })

Which should also allows to read data in chunks (pages with 20 entries) or as a complete list.

For the moment all the filtering can be done on client side. In the future it is important to handle as much as possible in the query parameter, so that we don't need to load ~ 2000 platforms to find one with exactly one matching name.