affeldt-aist/mathcomp-install

Coq/SSReflect/MathComp installation instructions in Japanese