added LISP sources to repository
added calculi
improved INSTALL instruction
added documentation
added remaining source
updated files to ignore