editproj.cgi: allow changing the default branch (HEAD)