add first draft of README.md

This includes a list of goals, a (rather wordy) problem statement, and
a rough, incomplete design overview.