License fetcher for UPPAAL-4 and UPPAAL-5
-----------------------------------------

In order to get both UPPAAL-4 and UPPAAL-5 licenses run `uppaal-leases`.
See `uppaal-leases --help` for more options.
