Dedekind sums have a limiting distribution