Stdin, stdout and stderr updated, tested.
-rw-r--r-- 4277 .gitignore
-rw-r--r-- 57 Changes.txt
-rw-r--r-- 1224 INSTALL.txt
-rw-r--r-- 35147 LICENSE.txt
-rw-r--r-- 1610 Makefile
-rw-r--r-- 2021 README.txt
drwxr-xr-x - benchmarks
-rwxr-xr-x 330 configure
drwxr-xr-x - doc
drwxr-xr-x - examples
-rw-r--r-- 107719 faustine-user-manual.pdf
drwxr-xr-x - interpreter
drwxr-xr-x - lib