Update options to fetch devices: allow use of API to fetch device list if not specified in JSON file.

Also add functions to allow for searching device by nickname (instead of by Iden or Index), I found this easier to follow / use.

Added a function to get all contacts, but generally this isn't really needed since the API requires an e-mail address.
Updated pushes to handle both devices (by nickname) and e-mails for contacts.