Use string device IDs instead of numeric ones

Since the PushBullet API now returns big integers for device IDs and PHP is notoriously bad with big integers, it's better to use the new string devices IDs (iden).