Rename keyboard controls to octave shift

Code cleanup -- makes more sense to name a div according to what it says
and does, eh?