Project LEAP and the new versioning scheme.

DolphinPro is currently at version 7.3. It may seem like not that far from 7, but, in reality, our "second-digit" updates always include hundreds of improvements. Some people find this versioning confusing, and don't think much about upgrading from, say, 7.1 to 7.3. This is about to change. Starting from the next major release, we will be numbering them according to