files are renamed and sorted now. utils to manipulate with file names were added. Theorems have global numeration now