Remap right option key in mac
I finally found how to remap control keys and I'm including it here for future references: Double command is a software that does exactly the same thing (mapping only the right option key to control key). You can use it to change the control keys of your mac using this application.
http://doublecommand.sourceforge.net/
If you just want to use it in the terminal as I did.
I recommend you to use iTerm2. It allows you to remap keys in the Keys
tab in the Preferences
pane (shown below):