Renaming of "Doomsday Launcher" to "Antigrain Launcher"

[zeebo76]

As far as I can tell, the performance of the doomsday launcher versus a mortar-launched antigrain warhead is essentially the same.  Changing the name to "Antigrain Launcher" would give a player an easy way to determine the performance of one based off the performance of the other if they've never used the other kind before.

This one's just a personal preference.