Thumbwheels for easier manual control

This adds thumbwheels (thumbwheels.stl) as an alternative to the gears. They are taller, so the motor lugs no longer get in the way when you're using them. That consequently means we can remove the non-motor-lugged versions from the build script, which makes it run substantially faster.