Xmodmap for modifying Linux modifier keys