Fixed xsb.load_random_file
Added test for xsb.load_random_file
If no level is given, any .xsb file
under the current directory is randomly used.