[bknr-devel] SBCL and OpenMCL ports done properly

[Hoan Ton-That]

Hey Hans,

I'm glad it works, unlike last time!

There are two things I learnt from this:

1. Test
2. Make small independent patches

Hoan