hiding the server key (which has been deleted already)
fixing a cast problem when we receive the intent from a push notification

(and a minor formatting correction)
adding gitignore file