- updated device mapping API to allow an "idp" source to manually set IDP user mappings