initial commit for Google Guice
fix copyright
fix forgotten binding for --directory in krun
fix code to get definition loading options
Merge branch 'unified-builtins2' into guice-ant

Conflicts:
	src/javasources/KTool/src/org/kframework/parser/DefinitionLoader.java
	src/javasources/KTool/src/org/kframework/parser/ProgramLoader.java
	src/javasources/KTool/test/org/kframework/parser/concrete/disambiguate/VariableWarningTest.java
rename @First and @Second
Merge branch 'unified-builtins2' into guice-ant

Conflicts:
	src/javasources/KTool/src/org/kframework/backend/java/kil/ConstrainedTerm.java
	src/javasources/KTool/src/org/kframework/backend/java/symbolic/JavaSymbolicKRun.java
	src/javasources/KTool/src/org/kframework/backend/java/symbolic/PatternMatcher.java
Merge pull request #758 from dwightguth/guice-ant

initial commit for Google Guice