added license notice on everything; removed generated documentation
treef279a34ed5d265c7cf3b9515c4c4e579bb81f7bc
-rw-r--r-- 781 LICENSE
-rw-r--r-- 3632 README
drwxr-xr-x - benchmarks
drwxr-xr-x - code
-rw-r--r-- 540 debug.c
-rwxr-xr-x 674 debug.sh
drwxr-xr-x - muis
-rwxr-xr-x 38 peek.sh
drwxr-xr-x - problems
-rwxr-xr-x 692 run-test-on-test.sh
-rwxr-xr-x 245 test_codedir.sh
-rwxr-xr-x 648 test_supported.sh