Comprehensive Gröbner systems in PBW algebras, Bernstein–Sato ideals and holonomic D-modules. (November 2018)