Ultracold-neutron infrastructure for the PNPI/ILL neutron EDM experiment