New repository for distributing the ideino environment with linino-lib deployed inside