Fixed markdown in README
Added intro from google doc.
Added demo problem from google doc.
Added validation section from google doc.
Added software design section from google doc.
Added title.
Added paper number.
Fixed make file to build pdf.
Merge branch 'master' of github.com:gilbertgede/idetc-2013-paper