Dump of existing files for github!

TODO: add proper copyright material, until then assume the most
restrictive license permissible by law for all content in this
repository