Add lambda-term command line interface