randomizable gripper & extended grippers domain, rewritten in python#7

guicho271828 wants to merge 2 commits intoAI-Planning:mainAI-Planning/pddl-generators:mainfrom

guicho271828:gripperguicho271828/pddl-generators:gripperCopy head branch name to clipboard