CafeOBJ 1.5.1 and binary builds

After releasing CafeOBJ 1.5.0 recently, we released another version 1.5.1, which makes the Windows builds run on UNC path, too.

We also improved our binary distribution mechanism and now provide ready built binaries for Windows, Mac, and Linux (both 32 and 64 bit), both built on either Allegro CL or SBCL.

See http://cafeobj.org/download/ for download and install instructions.