Function variable now supports also int domains with holes
Fixed doc bug of minizinc
Fixed formatting of doc of minizinc
Updated README
Minor doc edit