Merge branch 'master' of git://ffmssmsc.jinr.ru:443/varg/ginac