Updated Getting-Started guide to reflect changes made in development version.
Updated Introduction.
And a note about joern-tools.
Merge branch 'patch-1' of https://github.com/ashleyblackmore/joern-docs into dev
Fixed line-breaks.
Pointed link in 'Getting Started' to lib-dev.tar.gz instead of lib.tar.gz as we now use different libraries in the development version.
Switched to latex documentation.
Added PDF. Yes, I know, not the best format for git-tracking :/
Merge branch 'dev'

Conflicts:
	Hacking.md