Add "Random" button to header

Fixes #47