clarification.
minor change.
xsb.load_random_file function added.
Added a basic cli interface.