Build RTS as shared library

The C RTS is now built as a shared library, so that the functions in the Idris
standard library that use parts of it will work in :x and in type providers.