refactor ProgramLoader, RunProcess to remove static state
Merge branch 'master' into staticstateloader

Conflicts:
	k-core/src/main/java/org/kframework/parser/DefinitionLoader.java
	k-core/src/main/java/org/kframework/parser/generator/ProgramSDF.java
Merge pull request #1089 from dwightguth/staticstateloader

refactor ProgramLoader, RunProcess to remove static state