Make Mac option key work

The Mac option key is used as M key by default. On German keyboards
this is a problem since letters like '|' are only available through
the option key. To fix this, the right option key now works as Mac
option key and only the left option key is still used as M key.

The same behavior can be confugured in iTerm 2 to make it consistent.