Use different keysyms for left and right alt on OS X

The server will get them confused otherwise if they are pressed
at the same time.
1 file changed