Adds the ability of specifying a clingo version through --build-arg. - #1

Adds the ability of specifying a clingo version through --build-arg.#1

bramucas wants to merge 1 commit into

kdrakon:masterkdrakon/docker-clingo:masterfrom

bramucas:specify_versionbramucas/docker-clingo:specify_versionCopy head branch name to clipboard