for searn: command line tweaks, and minor feature additions