Grafite: Matita scripts language