Delete GAMP.userprefs

These are options for the user machines. Doesn't need to be checked in.