Add 'seoul_libc_support' library

This library contains the subset of the libc that is needed for the
Seoul VMM.

Related to issue #666.