coqPackages.ssreflect, more: build ssrcoq binary, add maintainer