modify key-bindings in php-mode