Added isBinder()  method to KLabelConstant
Updated build.xml to get real git revision.
implement ignore options (and some other related changes)
Merge branch 'ignoreopts'
slight updates to some logik programs
Merge branch 'master' of github.com:kframework/k
Revert "Use variables instead of symbolic values in programs."

This reverts commit 51836f751abd9b9003e97ab6beb1c04fb79c9bed.
fix #169. Correctly calculated execution time for each slice of logic. Corrections:
1. Use just one timer per program. Stopwatch class was made singleton.
2. Printed some pieces of time that were ignored previously, such as init time and cleanup time.
Merge branch 'master' of https://github.com/kframework/k
fix #169. Corrected the bug introduced by previous commit. Performed some code redundancies cleanup in the meantime.
Merge remote-tracking branch 'upstream/master'

Conflicts:
	src/javasources/KTool/src/org/kframework/krun/Main.java