Ported launcher and config.
Ported and ready for flint.
Ported Show and Prune. Mostly print() stuff.
Extracted data dir to a config setting.
Flint working.
Removed Flint dirname mangling and moved output caching to Steel.

For performance reasons, Flint is no longer responsible for preserving
copies of generated assembly files (.s.most-recent). Steel can handle
that without a copy operation over potentially laggy SSH mounts.
Merge branch 'flint' into issue11
Steel seems ok.
Steel makes assembly backups and deletes test files.
Commented settings file.
Poking GitHub
Better Flint config comments.
Merge branch 'steel' into development
Re-added accidentally ignored config changes.
Certify port was never merged? Fixed now.
Added runtime configuration overrides.

Yuno launcher has a `--with <key> <value>` option to use different settings
for that run.
Merge branch 'runtime-settings' into development
Bootstrapped automated system tests.

Use dev/system_tests.py to run system tests on Yuno using Yuno. Tests
for Yuno itself are in dev/system_tests/; tests repos to feed the Yuno
under test are in dev/fixtures/repos.
Merge branch 'system-tests' into development
Cleaned up globstar code.