adds ctrl-space for omnicompletion, fixes some php syntax problems