Initial commit

Note that this commit ports over the contents of the previously existing
repository.

Fixes #59