Tool sources migrated from github.com/qreal/tools