License under CC-BY

Signed-off-by: Anders Kaseorg <andersk@mit.edu>
Signed-off-by: Nelson Elhage <nelhage@mit.edu>