Adds updated=true to the end of the passed URL.
It works out if updated=true already exists, and if not it determines if it should be ?updated=true or &updated=true depending on if the url already has a query string or not.
<?php wpmu_admin_redirect_add_updated_param($url); ?>