documented command line tool; fixes #123