Initial commit. Hopefully I got the licensing right.