pushover.pl: improve help for option "token"