Update for latest dev deployment server names.

Also this is a good opportunity to remove some mentions of "picl".
Use latest commit of identity-pubkeys repo.
Merge pull request #88 from mozilla/rfk/new-server-names

Update for latest dev deployment server names.