Merge branch 'lazy-init' of http://github.com/capsosk/klee into lazy-init

# Conflicts:
#	lib/Core/Executor.cpp
#
# It looks like you may be committing a merge.
# If this is not correct, please remove the file
#	.git/MERGE_HEAD
# and try again.


# Please enter the commit message for your changes. Lines starting
# with '#' will be ignored, and an empty message aborts the commit.
#
# On branch lazy-init
# Your branch and 'origin/lazy-init' have diverged,
# and have 1 and 1 different commits each, respectively.
#   (use "git pull" to merge the remote branch into yours)
#
# All conflicts fixed but you are still merging.
#
# Changes to be committed:
#	modified:   lib/Core/Executor.cpp
#
