Release notes for F* 0.9.5

• Lean-inspired tactic framework (Nik, Victor, Guido, et al -- WIP)
• Much better support for reasoning by monadic reification, including for relational verification (Kenji et al)
• Indexed effects (Nik, Kenji -- WIP)
• Much better pretty printer for inner syntax (Qunyan, Kenji, Nik)
• Serios improvements to interactive mode: including showing the types of things, jumping to definition, and auto-complete (Clement, Nik, et al)
• Better implementations of F*'s memory models
• Support for extracting user-defined effects (Victor, Kenji, et al)
• Better support for interfaces in interactive mode
• Prettier OCaml extracted code (Victor, #857)
• More reproducible unsat cores (Christoph and Nik)
• Improved normalizer (Guido, Nik, et al)
• 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)