v0.7.2

Fixes:

• Fixes for rzk format:
  • Fix extra space after open parens in formatter (see #155);
  • Replace line string content with tokens when checking open parens (see #156);
• Throw an error when rzk.yaml's include is empty (see #154);

Changes to the Rzk website:

• Support multiple languages in the documentation (see #150);
  • English is the default;
  • Russian documentation is partially translated and is available at http://rzk-lang.github.io/rzk/ru/;
• Add a blog (see #153 and e438820);
  • The blog is not versioned and is always available at https://rzk-lang.github.io/rzk/en/blog/;
• Add a new Other proof assistants for HoTT page (also in Russian);
• Add a new Introduction to Dependent Types page (also in Russian)
• Add (default) social cards
• Integrate ToC on the left
• Use Inria Sans for English, PT Sans for Russian