Getting Started

TODO. For now, see README.md.