v1.0.2

FinMatrix v1.2 (2024.06.11), main changlog:

• add performance test for extracted OCaml program
• add new notations, such as 'I_n for fin n
• add new tactics, such as v2e to split vector to element
• add more examples in example.v
• update RExt module
• update notation c* instead of \.* for vcmul, mcmul
• remove notation such as .x, .y, .z for vector indices

v1.0.0

FinMatrix v1.0.0, preparing to publish to coq/opam