Make ‘Random Noise’ filter name consistent

In the filter menu, the filter was called ‘Random Noise’,
but in the filter dialogue, it was called just ‘Noise’.
Now it’s ‘Random Noise’ in both places.