Install man page for sbcl