Fixed issue #123: sort device profiles alphabetically.
Issue #132: re-enable click-to-zoom again.

- double clicking in the signal diagram zooms in;
- use alt or shift + double click to zoom out.