rolled back 3 or 4 of Simon's edits, and cleaned up other stuff (mostly line breaks)
-rw-r--r-- 197 .gitignore
-rw-r--r-- 2043 PROBLEMS
-rw-r--r-- 782 README
drwxr-xr-x - paper
drwxr-xr-x - private
drwxr-xr-x - prototypes
drwxr-xr-x - src
drwxr-xr-x - testing