move minos tools to its own repository