hid-to-id

- New `App.hid_to_id` and `User.hid_to_id` methods convert Heroku app
  and user IDs into core app and user IDs.