add verbosity
bugfix: add quotes
check for local gr1c binary, instead of gr1c on the path
clone polytope from github and install

to obtain the latest version
style