Remove dat/gitinfo.txt which has been getting overlooked. Hardly urgent, but useful if this is the last 3.5.x release.