enable mini-egison and egison-pattern-src* (#5227)
enable mini-egison and egison-pattern-src* (#5227)

jonschoning/stackage,simonmichael/stackage,athanclark/stackage,mrkkrp/stackage,iand675/stackage,fpco/stackage,Daniel-Diaz/stackage,soenkehahn/stackage,asr/stackage,clinty/stackage,stackbuilders/stackage,massysett/stackage,michalkonecny/stackage