Improved ultimate.util.uuid with options.