Added geben for php debugging and other fixes to web-mode