Added documentation for current_xsb_param/2 and set_xsb_param/2.
Authored by: tswift 2018-06-18
Parent: [r9368]
Child: [r9370]