Keep the same colors for the same identifiers even after refresh

By avoiding the `color-index-for-identifier` reset every refresh, this keeps the identifiers and their colors across refresh. This could have some impact on memory on very large file with very big rewrite.