Rename "edit title" to "edit properties"

[hofstef]

With v4.0.0, the dialog for editing title and description is extended with additional properties: granularity, point in time, and domain purity. For clarity and consistency, all occurences of "edit title" (and "edit title and description") should be renamed to "edit properties".