Partially fixed #15: --cache option in gat-run.py#16

sarangbg wants to merge 1 commit intoAndreasHeger:masterAndreasHeger/gat:masterfrom

sarangbg:mastersarangbg/gat:masterCopy head branch name to clipboard