doc: added --noinform option to sbcl command line