Matthias proposed that this information should be stored in a small file so we
don't have to load the entire .savegame (http://rb.freedroid.org/r/1604/ ).

Also, I'm linking to issue 461, about the calculating the savegame size. This
feature request would make that irrelevent.