Initial import of documentation

Signed-off-by: Jeremy C. Andrus <jeremya@cs.columbia.edu>