Docs: Don't use "KDevelop 4"

Authored by kfunk on Mar 24 2016, 3:05 PM.