Passing configuration to the VMM

[blitz]

Currently we parse strings to find out which modules to start with what parameters. I would rather see a simple data structure. This would remove the need for most of service/string.h and each frontend (NRE, Genode, ...) can use its native configuration mechanism to configure seoul.