Alt-Gr support in linux

I can do this without adding a `K_ALTGR` key, but this was the cleanest solution imo.