IDA: Squash output on restart file write

Don't need to supply a file name, so now calls restart.write()