Ist eigentlich das was ich Dir vorgeschlagen habe.
Dein Programmierer hat nur gleich die LED toggleroutine mit in die Tastenabfrage eingebaut.
Dein Speicher für den vorherigen Tastendruck ist dabei die Variable readInput.
Was noch fehlt ist die Entprellung.
Ohne die wird's nicht sauber funktionieren.