Populate trigger gui from SensorManager.

The toString methods in Sensor and SensorGroup were changed to produce
more precise texts for the combo boxes.