Remove kontrol header from the overview page (#64)

* fix the error caused by kontrol's position

* delete the `kontrol` title

* Remove extra empty line

---------

Co-authored-by: Palina <[email protected]>

Author: Stevengre

README.md

@@ -19,8 +19,6 @@ layout:
 
 </div>
 
-# Kontrol
-
 [**Kontrol**](https://github.com/runtimeverification/kontrol) is a powerful formal verification tool for EVM smart contracts that makes complex verification easy. Kontrol supports Foundry tests as specifications, which is especially useful for those who are not verification engineers. Additionally, developers can leverage existing Foundry test suites to do formal verification and increase the level of confidence.