Persona (BrowserID) library and tools