Initialization and build configs for the Seattle demokit.

This mostly replaces the previously existing demokit build harness in
SeattleTestbed/dist, namely build_demokit.py and demokit_files.fi.
See SeattleTestbed/demokit#1 for what "mostly" means.