push notification dummy method
Merge branch 'Mike'
Push notification added
Merge branch 'master' of https://github.com/MikevanLoe/IndoorNav into Ian
Merge branch 'Ian' of github.com:MikevanLoe/IndoorNav into Mike