Add some info about the setup of asteroids and reasons for choosing it
Asteroids
Over-specification and dependencies
js-imagediff and nondeterminism
Update PDF