Source, data and docs for the pgRouting workshop