Merge branch 'master' into garbage
more stuff compiles now... still far from finished
Merge branch 'garbage' of github.com:ldbc/ldbc_driver into garbage