Revert "drop the gnat gsoc project idea"

This reverts commit 306f359688afa254dc8728c73afab0fdb33d39ab, as discussed in
id:"87ip4ntdbn.fsf@kepler.schwinge.homeip.net".