[backend] also implement dbg/src filtering in the repserver's getbuildinfo function