Microsoft opens up Rust-inspired Project Verona programming language on GitHub