configurations that use the numeric value of keyboard keys, mouse
buttons, and mouse motions so that they use the symbolic
identifier instead. This is something that VRJConfig should be
doing, but writing this was easier for me than trying to figure
out how to fix this one specific aspect of VRJConfig.
