Various improvements

Of note is the new vibe.core.args, which no longer needs to import every module that wants to parse command-line / configuration file options.