Save the map of marked instructions to a file.