Added setup instructions for sbpl.