Basic badges in readme

Author: gsvgit

README.md

@@ -1,2 +1,5 @@
-# FormalLanguageConstrainedReachability-LectureNotes
-Материалы по достижимость с ограничениями в терминах формальных языков
+# Материалы по достижимости с ограничениями в терминах формальных языков
+
+[![JB Research](https://jb.gg/badges/research-flat-square.svg)](https://research.jetbrains.org/)
+[![Ubuntu](https://github.com/JetBrains-Research/FormalLanguageConstrainedReachability-LectureNotes/actions/workflows/main.yml/badge.svg?branch=main)](https://github.com/JetBrains-Research/FormalLanguageConstrainedReachability-LectureNotes/actions/workflows/main.yml)
+[![License](https://img.shields.io/badge/license-CC--BY--SA--4.0-orange)](https://github.com/JetBrains-Research/FormalLanguageConstrainedReachability-LectureNotes/blob/master/LICENSE.txt)