Какой есть небольшой linux дистрибутив для mono?
А не нужно "качать дистрибутивы в несколько ГБ", можно скачать уже инсталлированные образы виртуальных машин, здесь: 
копать в сторону docker контейнеров