Transfered gflags to point to the git repo
Changing the namespace to google
Fix for isolated devel spaces
Merge pull request #6 from ethz-asl/fix/gitrepo

Fix/gitrepo