For those who are interested, the latest update -- 7.0.015y -- contains an option for the Israeli keyboard.

Go to Tools|Options|Command Line Configuration Options

and you'll see the Israeli keyboard option at the bottom of the list.