Binc: initial commit of README and SPEC.