beh... per lavorare con gli xml puoi usare varie tecniche, quella che mi è più familiare è usare il dom:
http://it.php.net/dom

carichi il documento xml in qualche modo (DOMDocument->loadXML() dovrebbe andare bene) e poi cerchi il nodo della tua option con il classico DOMDocument->getElementById(), una volta ottenuto l'oggetto dell'elemento corrispondente lo incrementi con DOMElement->setAttribute()

qualcosa tipo:

$xmlDoc = DOMDocument->loadXML($contenutoFileXml);
$voto = $xmlDoc->getElementById('tuoId')->getAttribute('voto');
$xmlDoc->getElementById('tuoId')->setAttribute('voto', $voto + 1);

ma andrebbe provato... sono un po' arrugginito in materia