First version of korova.asta, adding *.bak to .gitignore
New version of model diagram with many improvements