[Fortran] Check for ACTION specifier in OPEN statements

The `OPEN` statement allows the `ACTION` specifier which can be `READ`, `WRITE`, OR `READWRITE`, analogous to `INTENT(IN)`, `INTENT(OUT)`, and `INTENT(INOUT)` respectively. The programmer knows how an opened file is to be used, and using a file connection in a way contrary to the `ACTION` will produce a runtime error. Adding a check that each `OPEN` includes an `ACTION` could therefore help reveal bugs where a file that is intended to be read-only is written to. This would improve code correctness and security.

It would be even better not to rely on the runtime error, and instead check that no `WRITE` statement is applied to a unit opened as `ACTION='READ'` and vice versa.

Inizia individuando la gestione da parte dell'analizzatore delle istruzioni Fortran OPEN, ACTION e WRITE. Chiarisci se la prima modifica debba richiedere ACTION, imporre la coerenza tra READ/WRITE o entrambe le cose, quindi definisci i test per ogni valore di ACTION supportato e per le diagnosi risultanti. Il lavoro è completato quando i controlli selezionati sono coperti dai test.

Scritto dal modello di indicizzazione a partire dal testo della issue.