Use memory-mapped I/O for save files

On lesser platforms (and atm, Windows), it falls back to standard I/O
with constant flushing to disk. This sucks and should be changed to only
write back once every few thousand cycles or such.