Problem: Control.ST stdlib not found when in repl/editor mode
Problem: Control.ST stdlib not found when in repl/editor mode

Solution: alias `idris` to `idris -i path/to/contrib -i path/to/base
-i path/to/top-level-00*` files. This composes all transitive
deps for idris compiler without the programmer having to worry about
it.

dmichiels/fractalide,sjmackenzie/fractalide,sjmackenzie/fractalide,sjmackenzie/fractalide,fractalide/fractalide,fractalide/fractalide,dmichiels/fractalide,dmichiels/fractalide,fractalide/fractalide