Release notes for F* 0.9.5

• Lean-inspired tactic framework (Nik, Victor, et al -- WIP)
• Much better support for reasoning by monadic reification, including for relational verification (Kenji et al)
• Indexed effects (Nik, Kenji -- WIP)
• Serios improvements to interactive mode: including showing the types of things, jumping to definition, and auto-complete (Clement, Nik, et al)
• Extracting user defined effects (Victor, Kenji, et al)
• Much prettier OCaml extracted code (Victor, #857)
• F* version bootstrapped in F# trailing less behind (Christoph, e.g. #871)
• Support for structs in generated low-level C code (Tahina)
• Brought back support for parallel processing using the --n_cores flag (Tomer and Christoph, #146 and #846)