write_index(): update index_state->timestamp after flushing to disk