Updated licence, added ATMS lisp source and tests