Hovrättspresidenten Petra Lundh blir ny rikspolischef efter Anders Thornberg.