dexter, phase2v17

[ferret]

I may set up a second machine just for testing.
So far, the mouse chooser can still use a few more defined devices. The
default mouse type for /dev/gpmdata should be IntelliMouse as far as I
know. What's the default mouse type for USB? is HID mouse all one protocol
according to the mouse driver, or can it autodetect?