Update README with Lean Toolchain header and badges

Author: fraware

README.md

@@ -1,6 +1,17 @@
 <div align="center">
 
-# Lean Toolchain
+<pre>
+##############################################################################################
+#                                                                                            #
+#              _                    _____           _      _           _                     #
+#             | |    ___  __ _ _ __|_   _|__   ___ | | ___| |__   __ _(_)_ __                #
+#             | |   / _ \/ _` | '_ \ | |/ _ \ / _ \| |/ __| '_ \ / _` | | '_ \               #
+#             | |__|  __/ (_| | | | || | (_) | (_) | | (__| | | | (_| | | | | |              #
+#             |_____\___|\__,_|_| |_||_|\___/ \___/|_|\___|_| |_|\__,_|_|_| |_|              #
+#                                                                                            #
+#                                                                                            #
+##############################################################################################
+</pre>
 
 [![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT)
 [![Lean](https://img.shields.io/badge/Lean-4.21.0-7c5cba)](https://leanprover.github.io/lean4/)