quel tipo di fine corsa va bene, anche per la sua robustezza. prima di acquistarlo verifica in quale punto esatto puoi installarlo. non hanno anno una tensione di funzionamento: sono semplici interruttori la cui tensione nominale è 240 volt e più.

puoi mettere un deviatore ma complichi lo schema.
io mettrei i due interruttori in parallelo:

accensione diretta manuale e accensione automatica

si pone il problema di tempo: una volta entrati dall'esterno la luce si spegne alla chiusura del portone.

immagino vorresti la luce accesa fino a spegnerla all'uscita dalla porta interna, vero?