add pivotal workstation repo

We also need the pivotal-workstation repository for the sysctl-provider