Switch to Seoul VMM repo instead of NUL.

In this version of the transition the Hip structure from Genode is reused, @nfeskes seoul_libc_support is used for the string functions and the nul/config.h is replaced by just using a constant value in the one place where the file was needed.

Related to #666.