game: Enable pausing the game
game: Refill energy after reaching 10000 points
game: Make splitting asteroids look more natural
explosion: Add macros for animation parameters
game: Explicitly delete explosions and missiles in game_end()

Not strictly necessary because we clean up afterward anyway, but just to
be nice.
game: Start explosion sequence when ship is destroyed