Adjust version flag to use any tag, rather then annotated tags
Adjust version flag to use any tag, rather then annotated tags

Github releases only use lightweight tags, so the automatic version
must look for all tags.

AppliedLogicSystems/ALSProlog,AppliedLogicSystems/ALSProlog,AppliedLogicSystems/ALSProlog,AppliedLogicSystems/ALSProlog,AppliedLogicSystems/ALSProlog,AppliedLogicSystems/ALSProlog,AppliedLogicSystems/ALSProlog,AppliedLogicSystems/ALSProlog,AppliedLogicSystems/ALSProlog