cover_server (process belonging to the new
tool Cover) has been added to the list of processes defined
as system processes.
Own Id: OTP-4008
pman_osdepend.erl.gtk_name has been changed to
gstk_name, see GS Release Notes.There are also release notes for older versions.