allowing nginx to set a non standard port and adding migration step to dokku