KDevelop 4.6 Improves Its UI, GDB Support, PHP