Truncated mail push messages

Also removed a lot of extra stuff we don’t need in our push
notifications so the thing is much lighter now.