Add a basic top-level README.

SJS-DCO-1.0-Signed-off-by: Manu Sridharan <[email protected]>

Author: msridhar

README.md

@@ -0,0 +1,12 @@
+SJS
+===
+
+SJS is a static ahead of time compiler for a subset of JavaScript.
+The main documentation is in the
+[README of the `sjsc/` folder](sjsc/README.md), for now.  The
+following research papers describe aspects of SJS in more detail.
+
+* [SJS: A Type System for JavaScript with Fixed Object Layout](http://link.springer.com/chapter/10.1007%2F978-3-662-48288-9_11), SAS 2015
+* [Type Inference for Static Compilation of JavaScript](https://arxiv.org/abs/1608.07261), OOPSLA 2016
+* [A Practical Framework for Type Inference Error Explanation](http://dl.acm.org/citation.cfm?id=2983994&CFID=858846070&CFTOKEN=59886134), OOPSLA 2016
+