Trim saved models after writing their content

[eiennohito]

Right now we simply mmap files and write to them. If the file was larger originally, it will keep its size, wasting space.

Also we should update timestamps on model files.