Initial push of robovm-dist after the move to a separate repository.
Choose license depending on the profile.