add key binding for php-symbol-lookup; random other cleanup