can provide multiple paths in LEDA_PATH
can provide multiple paths in LEDA_PATH
update gitignore