Add DEI laptop's public ssh keys

Add the DEI team members' public ssh keys to the VMs used by DEI.