I was able to follow the instructions you linked for an .ips file as well, I'm not sure what the difference between a .crash and .ips file is but atos seems to be able to handle it.

I also discovered MacSymbolicator which is a nice GUI for symbolicating