added small fixes
Merge branch 'gh-pages' of github.com:pgRouting/workshop into gh-pages

Conflicts:
	searchindex.js