dev build 120518

[stan]

New development build #120518 is now available, please click menu 'Help - Check for updates' to upgrade.
What's new in this build:
- Hot/Cold Numbers filter
- It is possible to define custom ticket panel layouts. The custom layouts are then available in stats and in Ticket Panel filter
- It is possible to select multiple filters in Complex Filter window and change their Draw Selection in a single step, see the popup menu when more than one filter is selected.