Do customers have an option to change the priority of the ticket?

Yes, customers can change the priority of a ticket from the customer portal if the admin has enabled the configuration in the field settings. To enable this:

Go to Ticket Fields → Priority → Configure for Customer Portal.