minor change to reduce the amount of stat'ing done at compile time
Merge pull request #646 from owolabileg/master

minor change to reduce the amount of stat'ing done at kompile time
Shell script fixes to quote "$0" properly in case it includes spaces.
Backslash-escape special characters in Maude "load" commands.

In particular, this is needed when working with files in directories
containing spaces.  Backslash-escaping in this manner is supported by
Maude 2.4 or later, per <http://maude.cs.uiuc.edu/versions/2.4/Changes>.
Oops, fix some mangled quoting that slipped into c9344e5ee40ceb48c500f9b9c200ba2d34720cd0.
Change tabs to spaces, per K project's preferred style.
Merge pull request #657 from liblit/master

Tool fixes to handle spaces in file paths
Minor documentation fix: add missing "\" at start of LaTeX macro.
Docs fix: "types" helper function is actually named "getTypes".
Merge pull request #665 from liblit/master

Minor documentation fixes for SIMPLE static typing tutorial.
make PdfBackend coding guidelines compliant
fix #683
Merge pull request #688 from osa1/fix683

Fix #683
ktest: print tested output file in case of a match failure (fixes #689)
Merge pull request #699 from osa1/fix689

ktest: print tested output file in case of a match failure (fixes #689)
Merge branch 'master' into unified-builtins2

Conflicts:
	src/javasources/KTool/src/org/kframework/backend/latex/PdfBackend.java
	src/javasources/KTool/src/org/kframework/krun/runner/KRunner.java
fix bug with kompile script when path has spaces
fix whitespace
Merge pull request #788 from dwightguth/unified-builtins2

Unified builtins2