[setup] tweaked a little the setup script
treee32e36cfa2cbe3a5a11e9e9b04c601ef9ec0472f
-rw-r--r-- 22 .gitignore
-rw-r--r-- 35147 COPYING
-rw-r--r-- 762 INSTALL
-rw-r--r-- 687 README
drwxr-xr-x - marvin
-rwxr-xr-x 1039 run-marvin
-rwxr-xr-x 1331 setup.py